RL/Full testsuite uploaded

Hi!

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

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