EquivalentClass OWL против SubClassOf

Question

В чем разница между EquivalentClass и SubClass? При чтении через OWL грунтовкой, я найти учебник использует SubClassOf много, чтобы объявить новый класс, как следует

SubClassOf(
    :Teenager 
    DataSomeValuesFrom(:hasAge 
    DatatypeRestriction(xsd:integer 
     xsd:minExclusive "12"^^xsd:integer 
     xsd:maxInclusive "19"^^xsd:integer 
    ) 
) 
) 

Могу ли я написать

EquivalentClass(
    :Teenager 
    DataSomeValuesFrom(:hasAge 
    DatatypeRestriction(xsd:integer 
     xsd:minExclusive "12"^^xsd:integer 
     xsd:maxInclusive "19"^^xsd:integer 
    ) 
) 
) 

вместо этого?

Answer 1

При том, что A является подклассB, это ограничивает A обязательно наследует все характеристики B, но не наоборот вокруг. В вашем примере A = Teenager и B = hasAge [12:19] (мои собственные обозначения, но вы получаете идею).

Это означает, что любой экземпляр Teenager в OWL онтологии обязательно должен также обладать свойством hasAge со значением в диапазоне [12:19], но не наоборот. В частности, это не означает, что любой экземпляр объекта с свойством hasAge со значением в диапазоне [12:19] также является экземпляром Teenager. Чтобы это было ясно, рассмотрите экземпляр (называемый c) класса Car. Можно также сказать, что:

c . hasAge 13

Это говорит о том, что экземпляр c из Car 13 лет. Однако, с подклассом аксиомы определения Teenager выше, рассуждающего бы не вывод, что c также является экземпляр Teenager (возможно, как мы хотим, если подростки людей, а не автомобили).

Разница при использовании эквивалентности заключается в том, что отношение подкласса подразумевается в в обоих направлениях. Таким образом, если бы мы вместо того, чтобы включить вторую аксиому, что определенный Teenagerбыть эквивалентным к чему-либо со свойством hasAge со значением в диапазоне [12:19], то рассуждающий бы сделать вывод о том, что автомобиль c также является экземпляром Teenager.

Answer 2

Эквивалентные классы могут иметь одни и те же элементы, например,

:USPresident owl:equivalentClass :USCommanderInChief 

оба имеют те же лиц (все или некоторые из президентов США). Поэтому, если мы утверждаем, что Джон Адамс был USCommanderInChief, можно предположить, что Джон Адамс также был президентом США.

С подклассом мы указываем иерархию. например, GrannySmithApple - это тип Apple.