+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 > > > > > -- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ mobile: +31-641044153 PGP Key: http://www.ivan-herman.net/pgpkey.html FOAF: http://www.ivan-herman.net/foaf.rdf
Received on Tuesday, 2 June 2009 14:01:32 UTC