- From: Heiko Paulheim <paulheim@ke.tu-darmstadt.de>
- Date: Mon, 10 Oct 2011 15:29:07 +0200
- To: Markus Krötzsch <markus.kroetzsch@cs.ox.ac.uk>
- CC: Michael F Uschold <uschold@gmail.com>, semantic-web@w3.org
Thank you, that was exactly what I needed :-) Best, Heiko. Am 07.10.2011 20:53, schrieb Markus Krötzsch: > 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. Heiko Paulheim Knowledge Engineering Group Technische Universität Darmstadt Phone: +49 6151 16 6634 Fax: +49 6151 16 5482 http://www.ke.tu-darmstadt.de/staff/heiko-paulheim
Received on Monday, 10 October 2011 13:29:36 UTC