W3C home > Mailing lists > Public > www-archive@w3.org > June 2007

Re: on owl:imports (and URI ambiguity)

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>
Message-Id: <1182170687.20563.13.camel@pav>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:11 UTC