- From: Lee Feigenbaum <lee@thefigtrees.net>
- Date: Tue, 02 Jun 2009 12:58:25 -0400
- To: Ivan Herman <ivan@w3.org>
- CC: Rinke Hoekstra <hoekstra@uva.nl>, Evren Sirin <evren@clarkparsia.com>, Uli Sattler <sattler@cs.man.ac.uk>, public-owl-dev@w3.org
thanks to everyone! this feels like i'm on the opposite side of every time someone asks me now to do negation or universal quantification in SPARQL ;-) Lee Ivan Herman wrote: > +1! > > Ivan > > Rinke Hoekstra wrote: >> On 2 jun 2009, at 15:25, Evren Sirin wrote: >>> On Tue, Jun 2, 2009 at 8:47 AM, Ivan Herman <ivan@w3.org> wrote: >>>> This looks like a nice and cute solution... >>>> >>>> Pity it cannot be expressed in OWL 2 RL (RL does not have a self >>>> restriction...). Oh well, one cannot get it all... >>> No worries, there are more in the bag of modeling tricks :) Instead of >>> self restrictions, we can use a has value restriction which is allowed >>> in OWL 2 RL and add one more property into the property chain. So the >>> axioms we need to would look like this: >>> >>> :Book rdfs:subClassOf [ a owl:Restriction ; owl:hasValue :book ; >>> owl:onProperty :isBook ] . >>> >>> :publishesBook owl:propertyChainAxiom ( [owl:inverseOf :publishedBy] >>> :isBook [owl:inverseOf :isBook] ) . >>> >>> We ended up defining an additional individual :book to make this work >>> in OWL 2 RL but that's it. >> Cool! >> >> -Rinke >> >>> >>> Cheers, >>> Evren >> >> >> --- >> Drs Rinke Hoekstra >> >> Leibniz Center for Law | AI Department >> Faculty of Law | Faculty of Sciences >> Universiteit van Amsterdam | Vrije Universiteit >> Kloveniersburgwal 48 | De Boelelaan 1081a >> 1012 CX Amsterdam | 1081 HV Amsterdam >> +31-(0)20-5253499 | +31-(0)20-5987752 >> hoekstra@uva.nl | hoekstra@few.vu.nl >> >> Homepage: http://www.leibnizcenter.org/users/rinke >> >> >> >> >> >
Received on Tuesday, 2 June 2009 16:59:08 UTC