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

Re: class-specific inverse

From: Lee Feigenbaum <lee@thefigtrees.net>
Date: Tue, 02 Jun 2009 12:58:25 -0400
Message-ID: <4A255A31.8060804@thefigtrees.net>
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 GMT

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