- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: 31 Jul 2003 14:23:01 +0100
- To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
- Cc: www-rdf-comments@w3.org, Pat Hayes <phayes@ai.uwf.edu>
Peter wrote:
[[
I believe that the rules for rdf entailments are still incomplete in
RDF Semantics (Editors [sic] Draft of July 27).
For example, consider the RDF graph
ex:foo ex:bar "<ex/>"^^rdf:XMLLiteral .
I believe that this graph rdf-entails
ex:foo ex:bar "<ex></ex>"^^rdf:XMLLiteral .
]]
Is "<ex/>" a member of the lexical space of rdf:XMLLiteral? I don't think so:
http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-concepts-20030117/#section-XMLLiteral
[[
The lexical space
is the set of all strings which:
* are well-balanced, self-contained XML data [XML];
* correspond to exclusive Canonical XML (with comments,
with empty InclusiveNamespaces PrefixList) [XML-XC14]
]]
"<ex/>" does not correspond to exclusive canonical XML; it would have to
be "<ex></ex>".
Brian
Received on Thursday, 31 July 2003 09:24:09 UTC