Re: Are NegativeObjectPropertyAssertions really just syntactic sugar in OWL2?

In OWL, you can express the class of all things that have some property 
:livesIn connecting to the individual :IleDeFrance (using either 
hasValue or a property restriction with oneOf). Hence you can state that 
:ThisPatient is *not* in that class.

Putting it all together, you get something like:

<owl:Thing rdf:about="#ThisPatient">
  <rdf:type>
   <owl:Class>
    <owl:complementOf>
     <owl:Restriction>
      <owl:onProperty rdf:resource="#livesIn" />
      <owl:hasValue rdf:resource="#IleDeFrance" />
     </owl:Restriction>
    </owl:complementOf>
   </owl:Class>
  </rdf:type>
</owl:Thing>

Cheers,

Markus


On 07/10/11 19:21, Michael F Uschold wrote:
> I am not aware of a way to say this in OWL1. If there is, it may be
> highly awkward and ugly.  Good question.
>
> Michael
>
> On Thu, Oct 6, 2011 at 11:59 PM, Heiko Paulheim
> <paulheim@ke.tu-darmstadt.de <mailto:paulheim@ke.tu-darmstadt.de>> wrote:
>
>     Dear OWL experts,
>
>     the W3C document about new features in OWL 2 states that
>     NegativeObjectPropertyAssertations are syntactic sugar in OWL 2 [1].
>     From my understanding, "syntactic sugar" means that they can be
>     expressed in OWL 1 as well, but only in a more verbose fashion.
>
>     However, I cannot see how I could express the example below, used in
>     [1], in OWL 1. Which point am I missing here?
>
>     NegativeObjectPropertyAssertion( /:livesIn/ /:ThisPatient/
>     /:IleDeFrance/ )
>     <=>
>     _:x rdf:type owl:NegativePropertyAssertion.
>     _:x owl:sourceIndividual :ThisPatient.
>     _:x owl:assertionProperty :livesIn.
>     _:x owl:targetIndividual :IleDeFrance.
>
>     Best,
>     Heiko.
>
>     [1] http://www.w3.org/TR/owl2-new-features/
>
>
>     --
>     Dr. Heiko Paulheim
>     Knowledge Engineering Group
>     Technische Universität Darmstadt
>     Phone:+49 6151 16 6634  <tel:%2B49%206151%2016%206634>
>     Fax:+49 6151 16 5482  <tel:%2B49%206151%2016%205482>
>     http://www.ke.tu-darmstadt.de/staff/heiko-paulheim
>
>
>
>
> --
> Michael Uschold, PhD
>     Senior Ontology Consultant, Semantic Arts
>     LinkedIn: http://tr.im/limfu
>     Skype, Twitter: UscholdM
>


-- 
Dr. Markus Krötzsch
Department of Computer Science, University of Oxford
Room 306, Parks Road, OX1 3QD Oxford, United Kingdom
+44 (0)1865 283529               http://korrekt.org/

Received on Friday, 7 October 2011 18:53:33 UTC