- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Thu, 4 Sep 2003 01:42:25 +0200
- To: "Jan Grant <Jan.Grant" <Jan.Grant@bristol.ac.uk>
- Cc: Dave Beckett <dave.beckett@bristol.ac.uk>, RDFCore Working Group <w3c-rdfcore-wg@w3.org>, w3c-rdfcore-wg-request@w3.org
Jan - http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-testcases-20030117/
looks OK to me; I've also tested the new test cases and had no trouble
(just a simplification in our implementation namely that
:X^^:Y is not necessarily a :Y).
Our test results are at [1] and some evidence at [2].
The only failing runs are
http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest#whitespace-facet-1
http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest#whitespace-facet-2
http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest#whitespace-facet-4
where we get tr:output <#proofFound_NegativeEntailmentTest_RDF>.
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
[1] http://www.agfa.com/w3c/temp/rdf.txt
[2] http://www.agfa.com/w3c/temp/rdf-proof.n3
Jan Grant
<Jan.Grant@bristol To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
.ac.uk> cc: Dave Beckett <dave.beckett@bristol.ac.uk>
Sent by: Subject: test case WD available
w3c-rdfcore-wg-req
uest@w3.org
2003-09-03 02:45
PM
...pending any other changes by the co-editor; this has the new test
cases and finally has what seems to be a fixpoint in the "try to satisfy
the boilerplate pubrules requirements" checker.
--
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/
and Nostradamus never dreamed of the Church of the Accellerated Worm
Received on Wednesday, 3 September 2003 19:42:32 UTC