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

[rdfs9: (?s rdf:type ?D)
   	<- 
	(?s rdf:type ?C)
	(?C rdfs:subClassOf ?D)]

[rdfs11:(?C rdfs:subClassOf ?E)
   	<- 
	(?C rdfs:subClassOf ?D)
	(?D rdfs:subClassOf ?E)]

[rdfs2:	(?s rdf:type ?C)
   	<- 
	(?s ?p ?o)
	(?p rdfs:domain ?C)]

[rdfs3:	(?o rdf:type ?C)
   	<- 
	(?s ?p ?o)
	(?p rdfs:range ?C)]

