[Protege 기초 실습10] Object Property - Universal Restrictions

무료 오픈 소스 온톨로지 편집기 실습 - Universal Restrictions

tutorial을 보고 실습을 진행해보고자 한다.

정리: Universal Restriction은 property의 range에 범위에 대한 제한조건을 걸어준다고 이해를 했다. 앞서,

• [domain of property] -> [property] -> [range of property]이라고 언급했는데, range of property부분에서 domain of property는 range of property 내의 class만 포함해야 된다라는 것을 의미한다.

---

지난 시간에, existential restriction은 특정 클래스의 구성원인 개인에 대한 주어진 속성을 따라 적어도 하나의 관계의 존재를 지정한다고 언급했다. 하지만, 존재할 수 있는 주어진 속성에 대한 유일한 관계가 지정된 필러 클래스의 구성원인 개인에 대한 것이어야 한다는 existential restrictions은 없다.

뭔 소리일까?

예를 들어보자

• existential restriction "hasTopping some MozzarellaTopping"을 사용해서 MozzarellaTopping 클래스의 구성원인 개인과 hasTopping 속성을 따라 적어도 하나의 관계가 있는 개인을 설명할 수 있음
• hasTopping의 member가 MozzarellaTopping일 필요가 없음

흠.. 뭔소린지 예를 들어야 알 수 있을 것 같아서 본문을 캡처해놓고 일단 실습으로 진행해보겠다.

Universal restrictions are also known as AllValuesFrom Restrictions

VegetarianPizza의 클래스를 생성해보도록 하자. 이 피자의 경우, CheeseTopping과 VegetableTopping만을 포함해야 한다.(universal restriction)

vegetarianPizza 생성

CheeseTopping과 VegetableTopping을 다중선택 후, Restriction type를 Only로 설정한다.

necessary condition을 추가하기 위해, VegetarianPizza을 defined class로 설정하자. "Convert to defined class"