- From: Giorgos Stoilos <gstoil@image.ece.ntua.gr>
- Date: Tue, 02 Jun 2009 12:35:01 +0100
- 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 UTC