Created on March 12, 2013, 12:44 a.m. by Hevok & updated by Hevok on May 2, 2013, 5:34 p.m.
A Transitive Property interlinks two Individuals A and C whenever it interlinks A with B and B with C for some Individual B.
For example one can defineisLocatedIn
is 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 Cell
. The Nucleus
is also a Compartment
and it is located in the Cell
.
As this is transitive one can look at this Hierarchy and entail that via Inference that Nucleolus
is also located within the Cell
, because isLocatedIn
is defined as a transitive Property.
Class Hierarchies subClassOf
and 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.
As Prerequisite one has to define that Compartment is a Class and Cell a Compartment.
: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 .
Comment on This Data Unit