OWL中是否存在命名限制？

Question

我們可以將限制定義為命名類嗎？ 我的意思是，而不是使用這個：

:myclass owl:equivalentClass 
         [ rdf:type owl:Restriction ;
           owl:onProperty :hasAge ;
           owl:cardinality "2"^^xsd:nonNegativeInteger ] . 

使用這個：

:myclass rdf:type owl:Restriction ;
         owl:onProperty :hasAge ;
         owl:cardinality "2"^^xsd:nonNegativeInteger.  

這可以嗎？

Answer 1

是的，這絕對沒問題。 這或許有點不尋常，但是AFAIK在OWL規范中沒有任何內容強制限制是匿名的。 事實上，像你建議的那樣命名它們會使得在多個類中重用限制變得容易多了。

Answer 2

是的，您可以為限制命名，只需聲明命名類等同於限制。 OWL文檔中有很多示例，例如

• http://www.w3.org/TR/owl2-primer/
• http://www.w3.org/TR/owl2-syntax/

在哪里可以找到像

EquivalentClasses(
    :HappyPerson 
    ObjectAllValuesFrom( :hasChild :HappyPerson )
)

EquivalentClasses(
    :NarcisticPerson 
    ObjectHasSelf( :loves ) 
)

EquivalentClasses(
    a:DogOwner
    ObjectSomeValuesFrom( a:hasPet a:Dog )
)