- From: Karen Coyle <kcoyle@kcoyle.net>
- Date: Fri, 11 Mar 2011 07:28:46 -0800
- 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 UTC