Может ли именованное ограничение существовать в 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 )
)