[Protege 기초 실습7]Object Property - Reasoner

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

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

• Reasoner
  • 한 클래스가 다른 클래스의 하위 클래스인지 여부를 테스트
    • reasoner가 추론된 온톨로지 클래스 계층 구조를 계산하는 것이 가능
  • 일관성 검사
    • 클래스의 설명(조건)을 기반으로 reasoner는 클래스가 인스턴스를 가질 수 있는지 여부를 확인
    • 어떤 인스턴스도 가질 수 없는 클래스는 일관성이 없는 것으로 간주

Inconsistent Classes

Probe Class: 온톨로지의 무결성을 테스트하기 위해 추가되는 클래스

• CheeseTopping이면서 VegetableTopping인 ProbeInconsistentTopping을 추가해보도록 한다.

다른 사람이 헷갈리지 않도록 주석도 달아준다.

문제가 있다고 빨간색으로 알려준다.

이러한 현상은, CheeseTopping과 VegetableTopping이 disjoint하기 때문에 일어나는 현상이다. (서로소라고 이해하면 쉽다.)

하지만, 두 개의 클래스의 하위클래스를 추가하고 싶을 경우도 존재할텐데 이럴때는 어떻게 해야할까?

disjoint statement를 제거하기!

제일 오른쪽에 있는 edit 버튼을 누르고, VegetableTopping을 제거해보도록 한다

disjoint를 제거해준 뒤, reasoner를 새로고침하면 문제 해결