OWL 2如何表達等效類

Question

在我的本體論中，我有一個Parent類和一個Child類。 我有一個對象屬性isChildOf(Child, Parent) 。

我想表達一個新的類FatherWithTwoOrMoreChildren ，它對應於Parent的類至少有2個Child 。

Declaration(Class(p:FatherWithTwoOrMoreChildren))
SubClassOf(p:FatherWithTwoOrMoreChildren 
ObjectSomeValueFrom(ObjectPropertyAssertion(ObjectMinCardinality(2 
p:isChildOf) owl:Thing))

我的疑問是我是否正確表達了它，或者是否在調用ObjectPropertyAssertion更改了isChildOf的定義。

Answer 1

最簡單的方法是將:FatherWithTwoOrMoreChildren定義為：

:hasChild owl:inverseOf :isChildOf
:FatherWithTwoOrMoreChildren owl:equivalentClass (:hasChild min 2 :Child)

但是，也許您不想創建hasChild屬性。