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

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

From: Karen Coyle <kcoyle@kcoyle.net>
Date: Fri, 11 Mar 2011 07:28:46 -0800
Message-ID: <20110311072846.16612kw9r069oxbi@kcoyle.net>
To: Simon Spero <sesuncedu@gmail.com>
Cc: Adrian Pohl <pohl@hbz-nrw.de>, public-lld@w3.org
Simon, for those of us who cannot make the connection, can you explain  
how this answers Adrian's question? (I'm figuring I'll learn something.)

Thanks,
kc

Quoting Simon Spero <sesuncedu@gmail.com>:

> 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/
>



-- 
Karen Coyle
kcoyle@kcoyle.net http://kcoyle.net
ph: 1-510-540-7596
m: 1-510-435-8234
skype: kcoylenet
Received on Friday, 11 March 2011 15:29:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 11 March 2011 15:29:31 GMT