Class Hierarchy

Class Hierarchies can be constructed with the rdfs:subClassOf Property.

One can induce Superclass Relationships becuae this Property is transitive.

:EVA a owl:[Class](/blog/619/) ;
    rdfs:subClassOf :AI .
:AI a owl:[Class](/blog/619/) ;
    rdfs:subClassOf :Intelligence .
:Intelligence a owl:[Class](/blog/619/) .

DL:

EVA ⊑ AI
AI ⊑ Intelligence

• via Inference it can be entailed that "EVA ⊑" is also a Subclass of "Intelligence"