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: <5.1.0.14.2.20021108131425.03931730@127.0.0.1>
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.

#g
--

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.
>
>Pat
>--
>---------------------------------------------------------------------
>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
<GK@NineByNine.org>
Received on Friday, 8 November 2002 08:20:44 EST

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