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
property>). [1]

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

ObjectPropertyAssertion(:hasAnimalBloodOfType :CharlieSheen :Tiger)

ObjectPropertyAssertion(ObjectInverseOf(:hasAnimalBloodOfType) :Tiger

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

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



[2] http://www.w3.org/TR/owl2-mapping-to-rdf/
Received on Friday, 11 March 2011 14:17:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:27:43 UTC