- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 18 Jun 2007 07:44:47 -0500
- To: Pat Hayes <phayes@ihmc.us>
- Cc: www-archive <www-archive@w3.org>
On Fri, 2007-06-15 at 15:33 -0500, Pat Hayes wrote: > >[-cc owl-dev; +cc www-archive] > > > >On Fri, 2007-06-15 at 11:15 -0500, Pat Hayes wrote: > >> [...] The > >> Common Logic semantics does this properly, using the notion of a > >> 'network name' which has a fixed denotation in all interpretations. > > > >Aren't you arguing with TimBL in semantic-web@w3.org that > >fixed denotations in all interpretations are nonsense? > > > >Or am I confused? > > What Im arguing with Tim is that we can't just assume that a name has > a unique denotation, or that we can make it have one by making enough > assertions using the name (in English or in OWL/RDF/CL, though we can > probably get good enough for practical work in English, since we seem > to right now). That is, you can't attach names to their referents > just by using the name in text. > > But it is possible to attach it to its referent by having explicit > naming/baptism conventions, ... I see. I think. Hmm... I'll have to mull that over... -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 18 June 2007 12:44:54 UTC