W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2003

Re: pfps-04

From: pat hayes <phayes@ihmc.us>
Date: Thu, 24 Jul 2003 13:22:15 -0500
Message-Id: <p06001a15bb45c5062d11@[10.0.100.23]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Graham Klyne <gk@ninebynine.org>, Jeremy Carroll <jjc@hpl.hp.com>, www-rdf-comments@w3.org

>On Wed, 2003-07-23 at 23:03, Peter F. Patel-Schneider wrote:
>
>[...]
>
>>  Therefore for the RDF entailment rules to be complete, no XML Literal can
>>  have a character string as its denotation.
>
>Right.  The denotation of an XML Literal is an octet sequence, as
>defined by the xml canonicalization spec, see the note in:
>
>
>http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-concepts-20030117/#section-XMLLiteral
>
>Pat, does this suggest deleting from section 3
>
>[[
>This terminology is deliberately agnostic as to whether or not XML data
>is considered to be identical to a character string; note however that
>the XML data values corresponding to well-typed XML literals are in
>precise 1:1 correspondence with the XML literal strings of such
>literals.
>]]
>
>The statement you make is correct, in that the terminology is agnostic,
>but its also unnecessary and maybe a little misleading.

Yes, I am happy to do that.  Done.

I've kept the 1:1 remark - Jeremy vouches for it - as I use this in 
the proof appendix.

  http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html

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 Thursday, 24 July 2003 14:22:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT