The subject is an instance of a class.

Inference Rules

An owl:InverseFunctionalProperty means two non-equal subjects cannot be linked to one object

?subject1 :predicate ?identifier
?subject2 :predicate ?identifier
?subject1 owl:sameAs ?subject2

Equality of classes

?class1 owl:Equivalent­Class ?class2
:subject rdf:type ?class1
:subject rdf:type ?class2

An owl:FunctionalProperty allows only one distinct object per subject

:subject :predicate ?object1
:subject :predicate ?object2
?object1 owl:sameAs ?object2

owl:SymmetricProperty is commutative

:subject :predicate :object
:object :predicate :subject

owl:TransitiveProperty is a class of transitive properties

?y :predicate ?z
?x :predicate ?y
?x :predicate ?z

Every rdfs:Class is a subclass of rdfs:Resource

Every rdfs:ContainerMembershipProperty is subproperty of rdfs:member

Every rdfs:Datatype is subclass of rdfs:Literal

If a domain is declared for a property, every subject used for that property belongs to the said domain.

:subject :predicate :object
:predicate rdfs:domain :class
:subject rdf:type :class

If a range is declared for a property, every object used for that property belongs to the said range.

:predicate rdfs:range :class
:subject :predicate :object
:object rdf:type :class

For any triple, its subject and object are Resources, and predicate is a Property.

:subject :predicate :object

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

rdfs:subPropertyOf is reflexive

:predicate rdf:type rdf:Property
:predicate rdfs:sub­Property­Of :predicate