- From: Mike Smith <msmith@clarkparsia.com>
- Date: Tue, 14 Jul 2009 13:12:56 -0400
- To: Michael Schneider <schneid@fzi.de>
- Cc: W3C OWL Working Group <public-owl-wg@w3.org>, Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, mak@aifb.uni-karlsruhe.de, Ivan Herman <ivan@w3.org>
On Sat, Jul 11, 2009 at 18:14, Michael Schneider<schneid@fzi.de> wrote: > All testcases have been visually checked by the authors, syntactically checked by means of an RDF parser (from Jena), and Ivan's RL reasoner has been successfully applied to all of them. > > The ID of each testcase starts with "rdfbased-" (that's the common prefix for the larger OWL 2 Full testsuite that I had announced originally). Since our auto-approval mechanism requires two reasoners to pass the test, it seems these tests will require explicit approval. I propose that we approve these tests in bulk at the next telecon. -- Mike Smith Clark & Parsia
Received on Tuesday, 14 July 2009 17:13:37 UTC