- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 29 Nov 2001 18:04:51 -0600
- To: w3c-rdfcore-wg@w3.org
OK, I blathered on about this requirement in... literals must be self-evident Dan Connolly (Wed, Oct 17 2001) http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0338.html but recent discussion with Peter S. and Jeremy made me realize I can reduce this to a real simple entailment test: Does dte-blunt.nt entail dte-pointy.nt? dte-blunt.nt: <http://example/x> <http://example/y> "abc". dte-pointy.nt: <http://example/x> <http://example/y> "abc". i.e. does an RDF document entail itself? Surely the answer is yes, right? I suggest that P/P++ do not guarantee this entailment; they fail to specify that the answer to this test is "yes". Only S guarantees this entailment. for reference, P/P++ are given in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Nov/0295.html -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 29 November 2001 19:04:52 UTC