Created on March 11, 2013, 7:35 p.m. by Hevok & updated on March 30, 2013, 10:24 a.m. by Hevok
Two Classes can be related to each other via SubClass Relationship but they can also be equivalent. The term from the OWL Vocabulary is owl:equivalent</span><del style="background:#ffe6e6;">With</del><ins style="background:#e6ffe6;">Class</ins><span>
and one states that these two Classes are the same. Because of this subclass Relationship one can entail that Cabal must also be an EVA not only an AI.
¶
¶
:AI a owl:Class .
¶
:EVA a owl:Class .
¶
:Cabal a owl:Class ;
¶
rdfs:subClassOf :AI .
¶
:AI owl:equivalentWithClass :EVA
¶
¶
DL:
¶
¶
Cabal ⊑ AI
¶
AI ≡ EVA
¶
¶
¶
* via inference it can be entailed that "Cabal" is also of type "EVA"
¶
¶
Enables the mapping of identical Classes between different Ontologies.
Comment on This Data Unit