owl - 本体中的多重继承

Question

我想说的是，在我的本体中，每个人都只有一种最具体的类型。

在这种情况下：

1. 说我的本体不允许多重继承是否准确？我不太明白多重继承在本体中的含义。这是指rdf:type还是rdfs:subclassOf？因为我不介意一个概念是否有多个父母，但我不希望个人有多种类型。

2. 在我的本体中说所有类都是成对不相交的是否准确，或者我应该说例如本体中的类是成对不相交的，除非它们彼此参与包含关系？

3. 是否有更好的术语或方法来实际描述此类本体？

标签： owlterminologysemantic-webontologydescription-logic

Answer 1

在文学作品中，您可以找到“多重继承”这一表达，指的是外延（rdf:type）和内涵（rdfs:subclassOf）含义。RDF/OWL 本身就支持它们。

1. 不，一般来说这是不正确的。我不认为“个体是多个类的实例”有一个官方的（和明确的）术语。
2. 您的第一个陈述是充分条件，而第二个陈述是必要且充分的。或者，您可以说如果两个类共享一个个体，那么这两个类中的一个是另一个的子类。
3. 我认为“一种最具体的类型”已经是一个很好描述的术语。