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对象属性。