rdf:type
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