release candidate of the "rdfbased" testcollection

Hi!

The testcollection for the RDF-Based Semantics, which I have announced several times in the past, is now essentially finished after two months of work. I have (again) attached only the source version (easier to inspect), and will have to translate all the testcases into the final Wiki-Page format and upload them to the Wiki in the following days.

One interesting aspect of this final version of the testcollection is that it additionally covers the OWL 2 RL ruleset. So there is now a dedicated subset of testcases (ca. 40%) being explicitly marked as "owl2rl", which means that these testcases have been selected based on the different rules in Section 4.3 of the Profiles spec.

However, since conformant OWL RL entailment checkers may provide entailments beyond the ruleset up to what the whole OWL 2 RDF-Based Semantics provides, one can even regard the /complete/ testcollection as an OWL RL test suite. Implementers of RL systems, who want to provide a more expressive but still conformant RL reasoner can therefore apply the whole testcollection to get a coarse notion of where their implementations stands "on the path" between the RL ruleset and the whole of OWL 2 Full.

The testcases have been carefully audited, but I am going to apply them to Ivan's RL implementation, which might then still reveal some errors (on whichever side :)). 

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