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

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