Equivalence

Created on March 11, 2013, 7:35 p.m. by Hevok & updated by Hevok on May 2, 2013, 5:32 p.m.

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:equivalentClass 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:equivalentClass :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.

LGFC-0020.jpg

Tags: hierarchy, ontology, equal
Categories: Concept
Parent: Class Hierarchy

Update entry (Admin) | See changes

Comment on This Data Unit