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 12:45:33 +0200
Cc: public-owl-dev@w3.org
Message-Id: <0C5159B1-3A52-4CC4-AB93-65908B2781C8@uva.nl>
To: Thomas Schneider <schneidt@cs.man.ac.uk>
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...

-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 10:46:07 GMT

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