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

Re: quick comment on typed literals

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 8 Nov 2002 09:35:35 -0600
Message-Id: <p05111b1eb9f188a49cb0@[]>
To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Cc: w3c-rdfcore-wg@w3.org

>Hmmm... when I stumbled across that niggle, I wondered if you might 
>not introduce some "bottom" concept into the domain of 
>interpretation, so even invalid lexical forms have a denotation.

Nah, that doesn't work, Ive been there. In order to avoid warping the 
entire logic it has to be on the side rather than on the bottom, as 
it were. But I think I will indeed do that as it avoids some problems 
that Peter is worried about, and its simpler in any case.


>At 06:36 PM 11/6/02 -0600, pat hayes wrote:
>>In case anyone was wondering, the reason that the inference
>>aaa bbb "foo"^^ddd .
>>aaa bbb _:xxx .
>>_:xxx rdf:type ddd .
>>didnt get put into RDFS (but was left until the datatypes were 
>>introduced) is because, contrary to what I first thought, this 
>>inference DOES depend on access to datatype information, in order 
>>to check that 'foo' is a legal lexical form according to the 
>>datatype ddd.  So even though it doesnt depend on the particular 
>>value, it does need external datatype information to be valid.
>>Just a quick explanation.
>>Also, after Jos' question I guess I ought to either remove that 
>>comment or else put in a bit more explanation. Sigh.
>>IHMC                                    (850)434 8903   home
>>40 South Alcaniz St.                    (850)202 4416   office
>>Pensacola                                       (850)202 4440   fax
>>FL 32501                                        (850)291 0667    cell
>>phayes@ai.uwf.edu                 http://www.coginst.uwf.edu/~phayes
>>s.pam@ai.uwf.edu   for spam
>Graham Klyne

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Friday, 8 November 2002 10:35:16 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:18 UTC