- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Fri, 30 Nov 2001 09:50:21 +0000 (GMT)
- To: Dan Connolly <connolly@w3.org>
- cc: w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
On Thu, 29 Nov 2001, Dan Connolly wrote: > 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? An RDF graph ought to entail itself, yes. If you can't represent typed literals in the current RDF/XML syntax, then that's just one more way in which it is lacking. > 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 > > -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk (Things I've found in my attic, #2: A hundredweight of pornography.)
Received on Friday, 30 November 2001 04:50:52 UTC