RE: Report on current test case coverage

Hi all, Markus!

I have started to work on a test suite specifically targeted to the RDF-based semantics. 

The focus of the test suite will be on systematic coverage of the normative aspects of the language, in order to detect obvious omissions or wrong behavior of reasoners. The suite will /not/ try to heavily stress reasoners and awarding "extra credits". There are already a lot of WebOnt test cases around which should serve this purpose well (doing arithmetics with OWL Full comes to mind :)).

There will be no attempt to make the test cases consumable by OWL 2 DL reasoners, and in general they won't be. However, all the test cases will be consumable by RDFS and OWL 2 RL/rule reasoners, as well as by other RDF-semantics based reasoners such as the Jena/OWL reasoners or OWLIM's OWL-fragments, although I expect these reasoners to only succeed on certain parts of the test suite.

At the moment, I have created the basic structure of the test suite, and have already created some first few tests in order to experiment with them. The complete creation is going to take some time, but I am eager to get it finished before CR publication.

Regards,
Michael

>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Markus Krötzsch
>Sent: Tuesday, April 28, 2009 11:41 AM
>To: public-owl-wg@w3.org
>Subject: Report on current test case coverage
>
>Many of the new OWL 2 features are still lacking test cases to support
>tool
>developers. The online test case repository now provides overview pages
>to
>give you an impression of our test case coverage per feature:
>
>* http://km.aifb.uni-
>karlsruhe.de/projects/owltests/index.php/RDF/XML_coverage
>* http://km.aifb.uni-
>karlsruhe.de/projects/owltests/index.php/FS_coverage
>
>The "features" are merely syntactic here, hence the separation between
>RDF/XML
>syntax and FS syntax. Tests are counted on both pages as soon as we have
>added
>(manual) syntactic translations -- the RDF/XML page thus eventually will
>be
>more complete (but less precise since RDF/XML overloads various
>syntactic
>elements).
>
>Contributions are welcome -- recall that each use of OWL 2 that is
>supported
>by a test case is more likely to be supported properly by future tools.
>
>Markus
>
>P.S. The online interface for contributing tests has recently been
>simplified
>(even ;-) further.
>
>--
>Markus Krötzsch
>Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
>phone +49 (0)721 608 7362          fax +49 (0)721 608 5998
>mak@aifb.uni-karlsruhe.de          www  http://korrekt.org

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