Transitivity
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 ...
Get Semantic Web for the Working Ontologist, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
