- From: Uli Sattler <sattler@cs.man.ac.uk>
- Date: Wed, 30 Apr 2008 11:33:39 +0100
- To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
- Cc: Rinke Hoekstra <hoekstra@uva.nl>, 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 30 Apr 2008, at 10:19, Carsten Lutz wrote: > > 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. and me. Cheers, Uli > > > 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:33:59 UTC