W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Re: quick syntax question.

From: pat hayes <phayes@ihmc.us>
Date: Tue, 29 Jul 2003 11:53:16 -0500
Message-Id: <p06001a3bbb4c56109bb5@[10.0.100.23]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: rdf core <w3c-rdfcore-wg@w3.org>

>On Tue, 2003-07-29 at 00:08, pat hayes wrote:
>>  Regarding the below, my current version says this:
>>
>>  "... there may be valid D-entailments for
>>  particular datatypes which depend on
>>  idiosyncratic properties of the particular
>>  datatypes, such as..." (old text at end of
>>  section 7.4, now following added:)
>>
>>  "In particular, the value space and
>>  lexical-to-value mapping of the XSD datatype
>>  xsd:string sanctions the identification of typed
>>  literals with plain literals without language
>>  tags for all character strings which are in the
>>  lexical space of the datatype, since both of them
>>  denote the Unicode character string which is
>>  displayed in the literal; so the following
>>  inference rule is valid in all
>>  XSD-interpretations. Here, 'sss' indicates any
>>  string of characters in the lexical space of
>>  xsd:string.
>
>That last sentence is particularly cunning.

<Bows head, with a quiet smile..>

>Too cunning?   Should we
>note that some plain literals are not in the lex space of xsd:string?

Well, if you really think so.  We could write an essay here referring 
to charmod, XML 1.0, XML 1.1 etc.., but I figured that I might try to 
actually believe what Tim is always saying, viz. that how its 
supposed to work is that people actually read the specs and work it 
out for themselves. But maybe I was just getting tired.

Pat
-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Tuesday, 29 July 2003 12:53:20 EDT

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