- From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
- Date: Wed, 30 Apr 2008 11:19:51 +0200 (CEST)
- To: Rinke Hoekstra <hoekstra@uva.nl>
- Cc: Sandro Hawke <sandro@w3.org>, Alan Ruttenberg <alanruttenberg@gmail.com>, Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, OWL Working Group WG <public-owl-wg@w3.org>, Rees Jonathan <jar@creativecommons.org>, Chris Mungall <cjm@fruitfly.org>
On Wed, 30 Apr 2008, Rinke Hoekstra wrote: > > Hi, > > I propose we go for the pragmatic solution, and just use the words we (as WG) > already use to refer to these properties: topProperty and bottomProperty. > > Although I really am all for 'pronouncable' property names (which I heard > Alan advocate), I believe these only confuse matters in this case (as Bijan > and Chris suggest). > > Also, the possibleProperty does not cover the semantics of the top property, > as the top property relates all individuals, not possibly, but actually. I agree with Rinke's arguments and second this. greetings, Carsten > -Rinke > > > On 30 apr 2008, at 00:42, Sandro Hawke wrote: >> >> >>>> Last week it was agreed in principle that we should add these >>>> properties, but we need to find suitable names for them. >>>> Suggestions in an email please! >> >> >>>> A hasSomethingOrNothingToDoWith B >>>> >>>> A doesOrDoesNotRelateTo B >>>> >>>> by construction neither of these can be false (assuming excluded >>>> middle)... >> >> Which makes me think: >> >> A mayRelateTo B (or mayBeRelatedTo) >> and >> A possibleProperty B >> A possibleAssociate B >> >>>> then the bottom would have to be >>>> >>>> A doesAndDoesNotRelateTo B >> >> which makes me think: >> >> A mustNotRelateTo B >> and >> A impossibleProperty B >> A impossibleAssociate B >> >> I'm new to top/bottom, so forgive me if these say/mean the wrong thing. >> I'm just brainstorming. >> >> -- Sandro > > ----------------------------------------------- > Drs. Rinke Hoekstra > > Email: hoekstra@uva.nl Skype: rinkehoekstra > Phone: +31-20-5253499 Fax: +31-20-5253495 > Web: http://www.leibnizcenter.org/users/rinke > > Leibniz Center for Law, Faculty of Law > University of Amsterdam, PO Box 1030 > 1000 BA Amsterdam, The Netherlands > ----------------------------------------------- > > > > -- * Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden * * Office phone:++49 351 46339171 mailto:lutz@tcs.inf.tu-dresden.de *
Received on Wednesday, 30 April 2008 10:21:02 UTC