For example one can define
ObjectProperty and is stated to be of type
TransitiveProperty and it has the Domain
Thing and the Range
Compartment. Then one defines a Compartment, like
Nucleolus is a
Compartment and one says that this Compartment is located in another
Compartment of the
Nucleus is also a
Compartment and it is located in the
As this is transitive one can look at this Hierarchy and entail that via Inference that
Nucleolus is also located within the
isLocatedIn is defined as a transitive Property.
subPropertyOf is by default declared as a Transitive Property. With the Constructor here one can define own Properties that should be transitive, i.e. have this transitivity Property.
:isLocatedIn a owl:ObjectProperty ; a owl:TransitiveProperty ; rdfs:domain owl:Thing ; rdfs:range :Compartment . :Nucleolus a :Compartment ; :isLocatedIn :Nucleus . :Nucleus a :Compartment ; :isLocatedIn :Cell .
:Compartment a owl:Class . :Cell a :Compartment .