W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2009

Re: RL/Full testsuite uploaded

From: Mike Smith <msmith@clarkparsia.com>
Date: Tue, 14 Jul 2009 13:12:56 -0400
Message-ID: <42485a40907141012med74d60q8ef6725fa465a14d@mail.gmail.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:42:00 UTC