OWL 실존 제한 및 필요한 조건

Question

나는 protege05를 사용하여 온톨로지를 만들고 있는데 속성 제한과 관련하여 질문이 있습니다. protege 튜토리얼에서 이해 한 것은 제한을 사용하여 클래스에 속성을 할당하면이 속성이 해당 클래스를 정의하는 데 필요하다는 것입니다.

예를 들어, 내가 "정통 교회"와 "보호 구역"및 속성 수업을 "hasPart 내가 말하고자하는"정통 교회 hasPart 성역 "가정합니다.

를 내가 것 분명히 존재 제한을 사용하는 경우 건물을 정교회로 지정하는 데 "성역이 필요함"을 의미하거나 건물이 정교회 인 경우 반드시 성역이 있어야합니다. (그러나 항상 올바르지는 않습니다.)
내 질문은 어떻게 삽입해야합니까? 속성을 필요로하지 않고 클래스를 정의 할 필요가 없습니다. 즉,이 속성이 내 클래스에 대해 올바르지 만 항상 그렇다고 말할 수 있습니까?

감사합니다

Answer 1

당신은 정통 교회를 귀하의 재산에 대한 도메인으로 사용하고 싶으므로, 건물을 교회로 사용한다고 추론 할 것입니다. 그것은 성전이없는 교회를 만드는 것을 멈추지 않을 것입니다.

도메인을 변경하지 않고 '일부 hasPart Sanctuary'를 '정교회'의 하위 클래스로 만들 수 있습니다. 이는 충분하지만 필수 조건은 아닙니다.