W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

Re: Denotation of datatype values

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Tue, 09 Apr 2002 14:18:13 +0100
Message-Id: <5.1.0.14.2.20020409141430.033bcb20@joy.songbird.com>
To: Patrick Stickler <patrick.stickler@nokia.com>
Cc: RDF Core <w3c-rdfcore-wg@w3.org>
At 04:03 PM 4/9/02 +0300, Patrick Stickler wrote:
>On 2002-04-09 13:39, "ext Graham Klyne" <Graham.Klyne@MIMEsweeper.com>
>wrote:
>
> > At 10:19 AM 4/9/02 +0300, Patrick Stickler wrote:
> >> I.e. given only
> >>
> >>    Jane ex:age "25" .
> >>
> >> "25" alone does not denote the value twenty-five. But given
> >>
> >>    ex:age rdfd:range xsd:integer .
> >>    Jane ex:age "25" .
> >>
> >> then "25" and the rdfd:range assertion *together* denote the
> >> value twenty-five. Yet still, "25" alone does not denote the
> >> value twenty-five. There is no single node in the graph which
> >> denotes the value twenty-five. The value remains implicit in
> >> the datatype interpretation.
> >
> > According to my understanding of the datatyping proposal, there is
> > _nothing_ in this graph that denotes the value 25.  All that is required is
> > that there exists some value, not necessarily denoted by anything in the
> > graph, that is related to the string "25" by the datatype
> > "xsd:integer".  (And according to our shared understanding of xsd:integer,
> > that "some value" is 25.)
>
>I agree. I perhaps am using the word "denote" incorrectly here.
>
>The question is whether we need/want there always to be
>"something in the graph" to denote the value 25 when, based
>on our shared understanding, we know we're talking about
>the value 25.

OK.

Given:
(a) The above graph is valid,
(b) Nothing in the above graph denotes the value 25, and
(c) Our shared understanding of xsd:integer lets us know that Janes ex:age 
property is related to the value 25
... then I'd say the answer to your question is no.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Tuesday, 9 April 2002 09:14:50 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:47:24 EDT