W3C home > Mailing lists > Public > public-lld@w3.org > March 2011

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

From: Simon Spero <sesuncedu@gmail.com>
Date: Fri, 11 Mar 2011 09:16:33 -0500
Message-ID: <AANLkTikB1pG8KU9_9n-4a35rwefZtsHB4wMnaZ4D5Q29@mail.gmail.com>
To: Adrian Pohl <pohl@hbz-nrw.de>
Cc: public-lld@w3.org
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/
Received on Friday, 11 March 2011 14:17:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 11 March 2011 14:17:07 GMT