yuns
[Protege 기초 실습16] More On Open World Reasoning 본문
무료 오픈 소스 온톨로지 편집기 실습 - More On Open World Reasoning
tutorial을 보고 실습을 진행해보고자 한다.
VegetarianPizza와 대비되는?(complement of VegetarianPizza) NonVegetarianPizza 클래스를 만들어보도록 하자
여기서 reasoner을 실행시키면 VegetarianPizza에 없던 목록들이 NonVegetarianPizza에 생겨야되는데 계속해서 reasoner가 제대로 동작을 안 한다.ㅠ
일단.. 여기까지 적어놓고 처음부터 다시 튜토리얼을 따라 해보면서 빼먹은 부분이 없나 확인해보도록 하고 이후 포스팅을 이어가도록 하겠다.
++) 드디어 찾았다! 아래 사진의 두 Topping에 동시에 포함되게 하기 위해 생성한 ProbeInconsistentTopping때문이었다. 이것을 성립하기 위해서 PizzaTopping 내의 disjoint 조건을 해지해주게 되었는데 이것이 문제를 일으키게 되었다.
따라서, ProbeInconsistentTopping을 제거해주고, disjoint에 추가해준다.
참고) 다른 reasoner를 추가하기 위해서는 아래와 같이 누르면 된다.
(Qualified)Cardinality Restrictions에서 문제가 생겼었는데 여기도 한꺼번에 해결할 수 있었다!
[Protege 기초 실습14] Object Property - (Qualified)Cardinality Restrictions
무료 오픈 소스 온톨로지 편집기 실습 - Cardinality Restrictions and Qualified Cardinality Restrictions tutorial을 보고 실습을 진행해보고자 한다. Cardinality Restrictions Cardinality Restrictions: 최소/최대 혹은 정확히
yunny-p.tistory.com
'protege' 카테고리의 다른 글
| [Protege 기초 실습15] Datatype Properties (0) | 2022.12.30 |
|---|---|
| [Protege 기초 실습14] Object Property - (Qualified)Cardinality Restrictions (0) | 2022.12.29 |
| [Protege 기초 실습13] Object Property - Adding Spiciness to Pizza Toppings (0) | 2022.12.29 |
| [Protege 기초 실습12] Object Property - Value Partitions (0) | 2022.12.29 |
| [Protege 기초 실습11] Object Property - Automated Classification and Open World Reasoning (0) | 2022.12.29 |
