- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Fri, 13 Dec 2002 14:13:46 +0000 (GMT)
- To: Graham Klyne <GK@NineByNine.org>
- cc: RDF core WG <w3c-rdfcore-wg@w3.org>
On Fri, 13 Dec 2002, Graham Klyne wrote: > > I was trying to check a test case to confirm something in > Concepts/Semantics docs, and found that: > > http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.rdf > > returned an HTTP 403/Forbidden error page. > > Also: > > re: http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/test003.rdf > The comment is misleading - there is no xml:lang - though the test is OK, I > think. > > Do we have any entailment tests dealing with language-tagged plain literals? > > E.g. > > 1. > > ex:subject ex:prop "chat" . > ?entails? > ex:subject ex:prop "chat"@fr . > > 2. > > ex:subject ex:prop "chat"@en . > ?entails? > ex:subject ex:prop "chat" . > > 3. > > ex:subject ex:prop "chat"@en . > ?entails? > ex:subject ex:prop "chat"@fr . > > I think the answer is no in each case, and that would be in agreement with > my readiong of the docs. > Should these be negative entailment test cases? For historical reasons (they were done at the same time as the related DT entailments involving language), see: http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#language-important-for-non-dt-entailment-1 Cheers, jan -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ You know something's gone badly wrong when your algorithm takes O(n^2) time but uses O(2^n) space.
Received on Friday, 13 December 2002 09:16:27 UTC