하위 속성 공리가없는 속성 p의 존재에서 속성 t를 추론

Question

속성 p가 있다고 가정합니다. OWL2에서 다음과 같은 문제를 어떻게 모델링 할 수 있습니까? (객체 속성에 대해 전적으로 말하고 있습니다) :

하위 속성 공리를 사용하지 않고 속성 p의 인스턴스가 존재하는 것으로부터 속성 t를 추론 할 수 있습니다. 또는 : A p B과 같은 트리플이있는 경우 -> 다음 트리플을 추론하고 싶습니다.하지만 내 온톨로지에는 아무런 의미가 없습니다 (또한 owl : equivalentProperty도 없습니다).

사실 외 부 온톨로지를 납치한다는 의미이므로 하위 속성 공리를 사용할 수 없습니다. 그리고 나는 잘 설립되어 있기 때문에 나는이 속성들을 내 자신의 속성으로 대체 할 수 없다. 저는 속성 체인 공리 (property-chain axiom)를 사용하여 두 개 이상의 속성이있는 속성 경로에 대해이 작업을 수행 할 수 있음을 알고 있습니다. 하지만이 공리는 적어도 두 가지 속성을 필요로하기 때문에이 문제가 붙어 있습니다.

도움을 주시면 감사하겠습니다.

Answer 1

내가

some p A subClassOf some r A 

과 개인이 A 형의 R-필러이있는 모든 시간을 시도 할 것이다, 또한 모두가 필요에 대해 동일한 개인을 갖는 A 형의 P-필러를 가지고 추정됩니다 더 수수한 접근.

그러나 하위 속성 공리가 최상의 솔루션이라고 생각합니다.