In mathematics, a relation R is said to be transitive if R(a,b) and R(b,c) implies R(a,c). The same idea is used for the OWL construct owl:TransitiveProperty. Just like owl:SymmetricProperty, owl:TransitiveProperty is a class of properties, so a model can assert that a property is a member of the class
The meaning of this is given by a somewhat more elaborate rule than we have seen so far in this chapter.
Notice that there is no need for even more elaborate rules like
since this conclusion can be reached by applying the simple ...