W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2009

Re: class-specific inverse

From: Rinke Hoekstra <hoekstra@uva.nl>
Date: Tue, 2 Jun 2009 15:49:26 +0200
Cc: Ivan Herman <ivan@w3.org>, Lee Feigenbaum <lee@thefigtrees.net>, Uli Sattler <sattler@cs.man.ac.uk>, public-owl-dev@w3.org
Message-Id: <6B361EB6-0255-46AD-9A94-04F7FF2D24E6@uva.nl>
To: Evren Sirin <evren@clarkparsia.com>
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT