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

RL/Full testsuite uploaded

From: Michael Schneider <schneid@fzi.de>
Date: Sun, 12 Jul 2009 00:14:32 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A001545DE8@judith.fzi.de>
To: "W3C OWL Working Group" <public-owl-wg@w3.org>
Cc: "Ian Horrocks" <ian.horrocks@comlab.ox.ac.uk>, "Mike Smith" <msmith@clarkparsia.com>, <mak@aifb.uni-karlsruhe.de>, "Ivan Herman" <ivan@w3.org>

I have now uploaded the RL/Full "core" testsuite to the Test Wiki. 

The testsuite consists of 84 testcases, which cover all the tables in Section 4.3 of the Profiles spec, except for Table 8 (rules for datatypes and literals). 

All testcases have been marked with the new "rlrulescomplete" flag in the Test Wiki, which signals that the respective testcase conforms to the RL ruleset (i.e. the result claimed by the testcase can be inferred via the rules).

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


Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Saturday, 11 July 2009 22:15:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:13 UTC