OWL 2 如何表示等价 class

Question

在我的 ontology 中，我有一个 class Parent 和一个 class Child。我有一个对象属性 isChildOf(Child, Parent).

我想表达一个新的class，FatherWithTwoOrMoreChildren，它对应于Parent的class至少有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 对象属性。

OWL 2 如何表示等价 class

OWL 2 how to express equivalent class

owl