Inverse properties in owl 2 (was Re: xsd or vocabulary)

Every owl 2 property has a corresponding inverse property; this property may
not have a specific name.


In the  OWL Functional Syntax this property can be referred to by
ObjectInverseOf(<forward
property>). [1]

If we have an Object Property  ObjectProperty(:hasAnimalBloodOfType) , the
following two assertions are equivalent:

ObjectPropertyAssertion(:hasAnimalBloodOfType :CharlieSheen :Tiger)

ObjectPropertyAssertion(ObjectInverseOf(:hasAnimalBloodOfType) :Tiger
:CharlieSheen)

Not surprisingly, both OWL expressions map to exactly the same RDF. [2]

It is not possible to infer that Tigers have Charlie Sheen blood.

Simon

[1]
http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Inverse_Object_Propertiesfor
details.

[2] http://www.w3.org/TR/owl2-mapping-to-rdf/