As one can see from the figure, OWL 2 supports only two kinds of object property expressions. Object properties are the simplest form of object property expressions, and inverse object properties allow for bidirectional navigation in class expressions and axioms.

I believe that there should be an explicit statement about what an ObjectPropertyExpression actually is.

An ObjectPropertyExpression is an expression specifying a set of ordered
tuples where the first and second member of each tuple is are respectively
individuals in the ObjectPropertyDomain and ObjectPropertyRange of the

The editors opted for a slightly shorter wording, and modified the data property expressions section for symmetry.

Last modified on 28 June 2012, at 15:50