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

Re: class-specific inverse

From: Giorgos Stoilos <gstoil@image.ece.ntua.gr>
Date: Tue, 02 Jun 2009 12:35:01 +0100
Message-ID: <4A250E65.1020904@image.ece.ntua.gr>
To: Rinke Hoekstra <hoekstra@uva.nl>
CC: Thomas Schneider <schneidt@cs.man.ac.uk>, public-owl-dev@w3.org
Rinke Hoekstra wrote:
> Hi Thomas,
> 
> On 2 jun 2009, at 11:05, Thomas Schneider wrote:
>> Ah, this looks good! :)
>>
> Thanks! :)
> 
>> I'm just puzzled why you say that "publishesBook" doesn't have to be a 
>> subproperty of "publishes". If it isn't, then it could be the 
>> universal property. I doubt that this is desired here. So if I'm not 
>> overlooking anything, I would want to add this subproperty axiom.
> 
> Hmm... I'm sure it wouldn't really do any harm to do so, but I don't 
> know whether it solves anything either... i.e. publishes 'could' be the 
> universal property as well...

Hi All,

I believe that if you assert publishesBook to be a subproperty of publishes will result in a 
irregular role hierarchy (together with the role chain of course).

Greetings,
-gstoil

> 
> -Rinke
> 
>>
>>
>> Cheers
>>
>> Thomas
>>
>>>
>>>
>>> What happens is that any individual of type Book (e.g. YourBook) will 
>>> 'get' an isBook relation with itself. Given a publisher individual 
>>> (Springer) that has a publishes relation with YourBook, these 
>>> properties will form a chain publishes, isBook... which is a sub 
>>> property of publishesBook, and therefore the relation publishesBook 
>>> will relate Springer to YourBook.
>>>
>>> Obviously you can easily do the same for publishesNewspaper &c.
>>>
>>> Alternatively, you can do the same for just the inverse (without a 
>>> 'publishes' property): isBook o publishedBy -> bookPublishedBy
>>> Add publishesBook as inverse of bookPublishedBy to get the relation 
>>> you wanted.
>>>
>>> Oh, and [2]
>>>
>>> -Rinke
>>>
>>> [1] shameless self-advertisement: 
>>> http://www.amazon.com/Ontology-Representation-Intelligence-Applications-Dissertations/dp/1607500132/ref=sr_1_1?ie=UTF8&s=books&qid=1243929407&sr=8-1 
>>>
>>>
>>> [2] http://www.webont.org/owled/2009/
>>>
>>>>
>>>>
>>>> Alan gave me a pointer that I'll dig through a bit later.
>>>>
>>>> Lee
>>>>
>>>>> (the "range" only works in one direction, i.e., if  Springer 
>>>>> publishesBook  YourBook and the range of publishesBook is Book, 
>>>>> *then* YourBook is an instance of Book --- but not the other way 
>>>>> round)
>>>>> Did this answer your question? Cheers, Uli
>>>>>> thanks,
>>>>>> Lee
>>>>>>
>>>
>>>
>>>
>>> ---
>>> 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
>>>
>>>
>>>
>>>
>>>
>>>
>>
>> +----------------------------------------------------------------------+
>> |  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
>> |  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
>> |  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
>> |  University of Manchester                                            |
>> |  Oxford Road                                             _///_       |
>> |  Manchester M13 9PL                                      (o~o)       |
>> +-----------------------------------------------------oOOO--(_)--OOOo--+
>>
>> Scosthrop (vb.)
>>  To make vague opening or cutting movements with the hands when
>>  wandering about looking for a tin opener, scissors, etc., in the hope
>>  that this will help in some way.
>>
>>                  Douglas Adams, John Lloyd: The Deeper Meaning of Liff
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
> 
> 
> 
> ---
> 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 11:36:44 GMT

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