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

Re: quick comment on typed literals

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Fri, 08 Nov 2002 13:15:32 +0000
Message-Id: <>
To: pat hayes <phayes@ai.uwf.edu>
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.


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
Received on Friday, 8 November 2002 08:20:44 UTC

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