RE: CR Exit Criteria

Jim Hendler wrote:

>So I suggest that we make the only OWL 2 Full criterion:
>
> At least one implementation passing each of the non-DL test cases that
>support features of the OWL 2 Full design that were not in OWL 1.

I consider "one for each" to be a *very* hard criterion for the given time frame of our WG, and the restriction to "non-DL" and "OWL 2-only" tests to be hardly any better than asking for a complete implementation of OWL 2 Full. This criterion is also very dependent on the actually used test suite and, in particular, won't be realistically achievable within the few weeks of the CR phase with the test suite that I am creating at the moment.

Just to be clear: I don't claim that the criterion is too hard to meet *per se*, which would really be an, erm, "exit criterion" for OWL 2 Full. I don't see anything obviously "un-implementable" in OWL 2 Full, in particular now that the so called comprehension conditions of OWL 1 Full are gone. And the often stated theoretical problem of undecidability is, of course, not relevant for the task of implementing a concrete test suite - in fact, this is always trivial in principle (one can write a script that generates such a reasoner from a given test suite having the test cases hard encoded :)). But if one is about creating a serious implementation of OWL 2 Full, then this will almost certainly take much too long for this working group to build one. The same would probably be true for an OWL 2 /DL/ reasoner, if one were about implementing it from scratch at the beginning of the CR phase.

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