Equivalence

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[Class](/blog/619/) 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](/blog/619/) .
:EVA a owl:[Class](/blog/619/) .
:Cabal a owl:[Class](/blog/619/) ;
          rdfs:subClassOf :AI .
:AI owl:equivalent[Class](/blog/619/) :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.