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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 30 April 2008 10:21:05 GMT