[Protege 기초 실습15] Datatype Properties

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

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

---

앞서서, property가 object property, datatype property 두 가지로 나뉜다고 설명했다.

Datatype property는 관계를 채우는 개인이 서로 다르다고 판단될 수 있는 경우에만 관계가 별도의 관계로 간주한다.

pizza의 칼로리를 계산하는데 사용해보도록 하자.

hasCalorificContentValue 추가해주기

[Individuals]에서 ExampleMargherita를 추가

이제 연결해보자.

[Property assertions: ExampleMargherita] > [Data property assertions]에서 263을 입력해본다.

Pizza의 [subclasses of]를 눌러서 [Data restriction creator]탭을 누르고, hasCalorificContentValue와, Restriction filler로 integer를 클릭해보자

minInclusive, maxExclusive facet를 정의함으로써 범위를 지정해보도록 하자.

HighCaloriePizza를 pizza의 하위클래스로 정의를 해보자

hasCalorificContentValue some xsd:integer[>=400]

defined class로 변환시켜주면 아래와 같이 변한다.



마찬가지로 LowCaloriePizza를 생성하면 아래와 같이 된다.

그렇게 하면 아래와 같이 된다고 하는데.. 나는 이상하게 동작하지 않는다..

++) tutorial을 대충 읽어서 생긴 문제였다. 

Individuals에 Types에 Pizza를 추가해주고 reasoner를 재실행시켜주면 아래와 같이 LowCaloriePizza가 추가됨을 확인할 수 있다.

잘 추가되어있는 것을 여기서도 확인할 수 있다.