- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Thu, 17 Jun 2004 15:58:00 -0400 (EDT)
- To: www-rdf-logic@w3.org
> [Brian McBride]
> I think we get a bit confused about what identification function the web
> implements and the term 'resource' seems to get me really confused. So I'm
> going to talk about Roys and ignore lots of the complexity and just think
> about GET.
What is a Roy exactly, a document? A missing document?
<snip>
> Can xsd:int denote a datatype and xsd:int identify on the web a ... Uhmmm
> what?
> Answer A) GET1(url) need not equal Denote(url). ...
>
> Answer B) GET1(url/) must equal Denote(url/) but GET1(url#) need not equal
> Denote(url#). ...
>
> Answer C) GET1(URL) must equal Denote(URL). ...
Answer A is clearly correct. In fact, it would be very unusual for
GET1(url) to equal the denotation of url. For instance, the url for
my web page might be taken to denote my web page. But GET returns
the characters that happen to be on my web page today.
Of course, there is no precise characterization of what uri's denote,
any more than there is for other sorts of names. While some have a
clear intended denotation, it can't be the case that they all do. In
other words, the semantic web has many models. When I said that a
certain url denotes my web page, I wasn't appealing to any formal,
theoretical reason why it should denote that. At best I was asking
people to use it as though it meant that.
--
-- Drew McDermott
Yale University CS Dept.
Received on Thursday, 17 June 2004 15:58:01 UTC