RE: resources and URIs

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