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

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

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 31 Jul 2003 19:23:30 -0400 (EDT)
Message-Id: <20030731.192330.103019646.pfps@research.bell-labs.com>
To: phayes@ihmc.us
Cc: www-rdf-comments@w3.org, bwm@hplb.hpl.hp.com

From: pat hayes <phayes@ihmc.us>
Subject: Re: pfps-04 [RDF entailment rules not yet complete]
Date: Thu, 31 Jul 2003 18:18:37 -0500

> >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 .
> 
> ?? Can you say why ?
> 
> Pat

Because the only possible rational reading of the normative definition of
XML literals in RDF Concepts is the reading that has both of these literals
be well-typed XML literals, and they both have the same canonical form.

Note that this has already been the subject of several other messages on
this thread.


Peter F. Patel-Schneider
Bell Labs Research
Lucent Technologies
Received on Thursday, 31 July 2003 19:25:09 GMT

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