[Protege 기초 실습8] Object Property - Necessary and Sufficient Conditions

무료 오픈 소스 온톨로지 편집기 실습 - Necessary and Sufficient Conditions

tutorial에서 제공하는 튜토리올을 보고 실습을 진행해보고자 한다.

Necessary Conditions

지금까지 생성한 모든 클래스는 클래스를 설명하는 데 필요한 조건만 사용했습니다. 필수 조건은 "무언가가 이 클래스의 구성원이면 이 조건을 충족해야 합니다"로 읽을 수 있습니다. 필요 조건만으로는 "어떤 것이 이 조건을 충족하면 이 클래스의 구성원이어야 합니다"라고 말할 수 없습니다.

Primitive Class: A class that only has necessary conditions

CheesyPizza를 추가하기

CheesyPizza라면, Pizza의 member이어야 하고, 적어도 하나 이상의 CheeseTopping을 가져야 함(necessary)

necessary condition을 만족하는 CheesyPizza 설정

이 뿐 아니라, sufficient한 조건도 만족해야 되는데 이것은 모든 개인이 CheesyPizza 클래스의 구성원이어야 하는 것을 의미한다.

Defined Class: a class that has at least one set of necessary and sufficient conditions

sufficient 조건을 만족하기 위해서 CheesyPizza를 Defined Class로 설정해야 한다.

CheesyPizza왼쪽에 icon이 바뀐 것을 확인할 수 있다.