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:


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>".

Received on Thursday, 31 July 2003 09:24:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:21 UTC