[Protege 기초 실습9] Object Property - Automated Classification

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

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

https://yunny-p.tistory.com/entry/protege-Ontology-Necessary-and-Sufficient-Conditions에서 보인 마지막 결과가 아래 이미지와 같다

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

클래스 간의 하위 클래스-super class 관계를 계산을 위해 reasoner를 활용해보자

위의 상태에서 reasoner를 돌렸더니 에러가 나서 조금 수정해주었다.

위의 상태에서 reasoner를 실행시켜보면, 오류가 난다..그래서 다시 만들어서 처음부터 했다..

교재 내에서 아래 그림처럼 나와야된다 하는데,

이와 같이 되서 뭐지.. 뭘 잘못했을까.. 라고 엄청 고민했는데..

아래와 같이 asserted를 inferred로 바꿔주면 된다.

asserted and inferred hierarchy