使用OWL本體

Question

我是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> 

`

和我想定義的概念爲根，分支廣告離開，從而以根，枝和葉的形式推斷和分離節點，因爲根將沒有父節點，節點的父節點至少有一個孩子，節點只有父節點和沒有子節點，或者孤兒節點沒有父節點兒童。

Answer 1

如果您希望此層次結構與本體中的子類層次結構匹配，可以使用SubClassOf公理連接祖先和子級。那麼，你的根將是那些唯一的祖先是貓頭鷹的人：事情是，你的葉子將是唯一的後裔是貓頭鷹的那些：什麼都沒有，你的分支將是所有剩餘的階級。