W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2003

Re: test case WD available

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
Message-ID: <OF2C7F040E.5A8CF451-ONC1256D96.0080CCF4-C1256D96.0082425C@agfa.be>

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
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                                                        
                      2003-09-03 02:45                                                                                                  

...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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:07 UTC