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

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 UTC