- From: Rinke Hoekstra <hoekstra@uva.nl>
- Date: Tue, 2 Jun 2009 15:49:26 +0200
- To: Evren Sirin <evren@clarkparsia.com>
- Cc: Ivan Herman <ivan@w3.org>, Lee Feigenbaum <lee@thefigtrees.net>, Uli Sattler <sattler@cs.man.ac.uk>, public-owl-dev@w3.org
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 13:49:59 UTC