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
An owl:FunctionalProperty allows only one distinct object per subject
:subject :predicate ?object1
:subject :predicate ?object2
?object1 owl:sameAs ?object2
owl:SymmetricProperty is commutative
owl:TransitiveProperty is a class of transitive properties
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.
If a range is declared for a property, every object used for that property belongs to the said range.
For any triple, its subject and object are Resources, and predicate is a Property.
:subject :predicate :object