W3C home > Mailing lists > Public > www-tag@w3.org > July 2003

RE: resources and URIs

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 22 Jul 2003 16:23:34 +0100
Message-Id: <5.1.0.14.2.20030722161222.00ba2248@127.0.0.1>
To: "Bullard, Claude L (Len)" <clbullar@ingr.com>
Cc: www-tag@w3.org

Getting out of my depth, but...  does this have any relationship to the 
work that Dana Scott did back in the 1970s on lattices and a theory of 
computation, which in turn provided some basis for denotational semantics 
of programming languages?  I recall that the notions of approximation and 
monotonicity came into that work, with some reference to functions being 
ordered according to some notion of "accuracy".

#g
--

At 09:45 22/07/03 -0500, Bullard, Claude L (Len) wrote:

>You could research John Sowa's lattice theory for
>more precise language to describe this notion.
>
>Apologies but Google returns far too much material
>to provide a precise URI to start the research
>if you aren't already acquainted with it.  And
>that tells us something about URIs and precise
>identification. :-)
>
>len
>
>-----Original Message-----
>From: Graham Klyne [mailto:gk@ninebynine.org]
>
>We agree that we, as people, try to use a URI to refer to
>a "single", more or less consistent, concept that is a topic of
>communication.  But there is no way to formalize this single concept:  I
>think the best we can do is to describe it as a kind of "locus" of
>denotations from interpretations that satisfy some formal statements we can
>make about it.

-------------------
Graham Klyne
<GK@NineByNine.org>
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E
Received on Tuesday, 22 July 2003 11:33:55 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:56:00 UTC