RE: RL/Full testsuite uploaded

Hi Mike!

>-----Original Message-----
>From: Mike Smith [mailto:msmith@clarkparsia.com]
>Sent: Tuesday, July 14, 2009 7:13 PM
>To: Michael Schneider
>Cc: W3C OWL Working Group; Ian Horrocks; mak@aifb.uni-karlsruhe.de; Ivan
>Herman
>Subject: Re: RL/Full testsuite uploaded
>
>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.

Ok, thanks!

Let me say that there will soon (though after the 15th July) be a second implementation, and it will be independent from Ivan's: At FZI, we are now extending (and fixing :) Jena's rule-based OWL reasoner to also cover some parts of OWL 2 (Full). 

The extended reasoner will provide most of the OWL 2 RL/RDF rules functionality; perhaps not all, since we might leave out some datatype stuff, but the uploaded partial testsuite does not check the datatype related rules (Table 8), anyway. The reasoner will actually go a good step beyond the RL rules, but in any case, it SHOULD satisfy the whole uploaded "rdfbased" suite. For comparison: The original Jena OWL reasoner fails on ca. 40% of the uploaded tests, but this is going to change soon.

Cheers,
Michael

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