0

我是 OWL 的新手，我已经使用 OWL DL 定义了一个节点，如

<Declaration>
    <Class IRI="#node"/>
</Declaration>
<Declaration>
    <ObjectProperty IRI="#leftChild"/>
</Declaration>
<Declaration>
    <ObjectProperty IRI="#parent"/>
</Declaration>
<Declaration>
    <ObjectProperty IRI="#rightChild"/>
</Declaration>
<InverseObjectProperties>
    <ObjectProperty IRI="#parent"/>
    <ObjectProperty IRI="#leftChild"/>
</InverseObjectProperties>
<InverseObjectProperties>
    <ObjectProperty IRI="#parent"/>
    <ObjectProperty IRI="#rightChild"/>
</InverseObjectProperties>
<FunctionalObjectProperty>
    <ObjectProperty IRI="#leftChild"/>
</FunctionalObjectProperty>
<FunctionalObjectProperty>
    <ObjectProperty IRI="#parent"/>
</FunctionalObjectProperty>
<FunctionalObjectProperty>
    <ObjectProperty IRI="#rightChild"/>
</FunctionalObjectProperty>
<ObjectPropertyDomain>
    <ObjectProperty IRI="#leftChild"/>
    <Class IRI="#node"/>
</ObjectPropertyDomain>
<ObjectPropertyDomain>
    <ObjectProperty IRI="#parent"/>
    <Class IRI="#node"/>
</ObjectPropertyDomain>
<ObjectPropertyDomain>
    <ObjectProperty IRI="#rightChild"/>
    <Class IRI="#node"/>
</ObjectPropertyDomain>
<ObjectPropertyRange>
    <ObjectProperty IRI="#leftChild"/>
    <Class IRI="#node"/>
</ObjectPropertyRange>
<ObjectPropertyRange>
    <ObjectProperty IRI="#parent"/>
    <Class IRI="#node"/>
</ObjectPropertyRange>
<ObjectPropertyRange>
    <ObjectProperty IRI="#rightChild"/>
    <Class IRI="#node"/>
</ObjectPropertyRange>

`

我想将概念定义为根、分支和叶子，以便推断和分离节点为根、分支和叶子，因为根没有父节点，分支有一个父节点，至少有一个子节点，而叶子节点只有父节点和没有子节点，或者没有父节点且没有子节点的孤立节点。

4

1 回答 1

0

如果您希望此层次结构与本体中的子类层次结构相匹配，则可以使用 SubClassOf 公理来连接祖先和孩子。然后，您的根将是唯一祖先是 owl:Thing 的那些，您的叶子将是唯一的后代是 owl:Nothing 的那些，而您的分支将是所有剩余的类。

于 2015-09-27T17:46:19.033 回答