Re: class-specific inverse

+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