O'Reilly logo

Semantic Web for the Working Ontologist, 2nd Edition by James Hendler, Dean Allemang

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

image

The meaning of this is given by a somewhat more elaborate rule than we have seen so far in this chapter.

image

Notice that there is no need for even more elaborate rules like

since this conclusion can be reached by applying the simple ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required