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
Cabal ⊑ AI AI ≡ EVA
Enables the mapping of identical Classes between different Ontologies.