- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: 29 Jul 2003 11:59:37 +0100
- To: pat hayes <phayes@ihmc.us>
- Cc: Dave Beckett <dave.beckett@bristol.ac.uk>, 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. Too cunning? Should we note that some plain literals are not in the lex space of xsd:string? Brian
Received on Tuesday, 29 July 2003 07:15:03 UTC