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

Re: pfps-04 [RDF entailment rules not yet complete]

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>
Message-Id: <1059657780.3358.7.camel@dhcp-91-3.hpl.hp.com>

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 GMT

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