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

owl:equivalentClass
	rdfs:domain	owl:Class ;
	rdfs:range	owl:Class .
owl:Class
	rdf:type	rdfs:Class ;
	rdfs:subClassOf	rdfs:Class ;
	rdfs:label	"Class" .
owl:complementOf
	rdfs:domain	owl:Class ;
	rdfs:range	owl:Class .
owl:unionOf
	rdfs:domain	owl:Class .
owl:disjointWith
	rdfs:domain	owl:Class ;
	rdfs:range	owl:Class .
owl:intersectionOf
	rdfs:domain	owl:Class .
owl:Restriction
	rdfs:subClassOf	owl:Class .