- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 31 Jul 2003 07:09:28 -0400 (EDT)
- 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. peter 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