โŠ†

rdfs:subClassOf
The subject is a subclass of a class.



Inference Rules

Every rdfs:Class is a subclass of rdfs:Resource



Every rdfs:Datatype is subclass of rdfs:Literal



Every rdfs:Class can be replaced with its superclass

?subclass rdfs:subClassOf :class
:subject rdf:type ?subclass
:subject rdf:type :class
โ‡’


rdfs:subClassOf is reflexive

:class rdfs:subClassOf :class
โ‡’


rdfs:subClassOf is transitive

:class rdfs:subClassOf ?super_class
?subclass rdfs:subClassOf :class
?subclass rdfs:subClassOf ?super_class
โ‡’