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 07:09:28 -0400 (EDT)
Message-Id: <20030731.070928.63230176.pfps@research.bell-labs.com>
To: bwm@hplb.hpl.hp.com
Cc: phayes@ai.uwf.edu, www-rdf-comments@w3.org

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 .

but that this cannot be derived from the RDF entailment rules.


From: Brian McBride <bwm@hplb.hpl.hp.com>
Subject: pfps-04
Date: 21 Jul 2003 14:22:45 +0100

> Peter,
> with reference to your comment recorded as
> http://www.w3.org/2001/sw/RDFCore/20030123-issues/#pfps-04
> the RDFCore WG has resolved to accept your comment.
> http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jul/0173.html
> As you know, there have been extensive modifications to the RDF 
> entailment rules since your comment was written
> The current editor's draft, which is now stable enough to review,
> http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/
> now contains a version of the RDF entailment rules which we believe 
> corresponds directly to the RDF semantic conditions in the sense 
> described. You can check the proof contained in the specification.
> Please reply to this message, copying www-rdf-comments@w3.org, 
> indicating whether this response adequately addresses your comment.
> Brian
Received on Thursday, 31 July 2003 07:09:41 UTC

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