W3C home > Mailing lists > Public > public-rdf-wg@w3.org > October 2011

Re: <sandro> PatHayes, can you formally define g-box for us?

From: William Waites <wwaites@tardis.ed.ac.uk>
Date: Thu, 13 Oct 2011 09:38:26 +0100 (BST)
Message-Id: <20111013.093826.248339044.wwaites@tardis.ed.ac.uk>
To: ian.davis@talis.com
Cc: phayes@ihmc.us, public-rdf-wg@w3.org
On Thu, 13 Oct 2011 08:50:27 +0100, Ian Davis <ian.davis@talis.com> said:

    iand> This is a very interesting formulation of the web
    iand> architecture. More generally one might say "when an IRI
    iand> identifies a resource that IRI then also denotes the state
    iand> of the resource"

I find it hard to see how to wiggle out of mentioning time in the same
breath as "denote" but maybe that's because of some lack of formal
background in logic or philosophy. Does this mean that to identify a
resource means to denote all possible states of that resource at all
times in the past and future? Or in other words can the IRI denote
more than one state of the resource at the same time? Or does "denote"
require an observer, the agent doing the dereferencing thinks that the
IRI denotes state s because that's what they got with an HTTP GET?

Sorry if this is muddy thinking, not enough coffee yet.

Received on Thursday, 13 October 2011 08:39:15 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:09 UTC