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 [EMAIL PROTECTED] 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/
