@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.


# RDFS stuff
{ ?S a [ s:subClassOf ?C ] } => { ?S a ?C }.
{ ?S [ s:domain ?C ] [] } => { ?S a ?C }.
{ [] [ s:range ?C ] ?O } => { ?O a ?C }.
{ ?C1 s:subClassOf [ s:subClassOf ?C2] } => { ?C1 s:subClassOf ?C2 }.
s:domain s:domain r:Property; s:range s:Class.
s:range s:domain r:Property; s:range s:Class.
s:subClassOf s:domain s:Class.
s:subClassOf s:range s:Class.
s:subPropertyOf s:domain r:Property.
s:subPropertyOf s:range r:Property.