RE: progress on OWL going to Rec

Hi Birte!

>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Birte Glimm
>Sent: Sunday, October 25, 2009 4:54 PM
>To: markus.kroetzsch@kit.edu
>Cc: Sandro Hawke; public-owl-wg@w3.org; Pascal Hitzler; Sebastian
>Rudolph; Ian Horrocks; Peter F. Patel-Schneider; Bijan Parsia
>Subject: Re: progress on OWL going to Rec
>
>Hi all,
>I suggest a couple of minor editorial changes (most just correct
>upper/lower case issues or singular/plural), but another thing is that
>I think OWL RL entailment checkers should take OWL 2 RL ontology
>documents as inputs and not OWL 2 Full as currently stated in Section
>2.2.1. All other species take their respective ontology documents
>(e.g., OWL 2 QL takes OWL 2 QL ontologies) and the following sentences
>about soundness and competeness seem to assume this also for OWL RL.
>Am I wrong here and is that an editorial change?

Concerning OWL 2 RL conformance: Obviously, this would NOT be an editorial change, since it would change the conformance criterion in Sec. 2.2.1 of the Conformance spec. 

But what is more important is that it is also /not/ a bug fix. "OWL 2 Full" as input ontologies in Sec. 2.2.1 of the Conformance document is intended, it is not a typo. The conformance of OWL 2 RL (specifically w.r.t. the rule set) has been long discussed by the WG. 

Btw, all my contributed approved testcases for the OWL 2 RL/RDF rules would be non-compliant after this change, since they do not satisfy the constraints of the OWL 2 RL syntactic profile. We even have a special flag for these kinds of test cases.

Anyway, I'd say we are a little late in the process for changes of this kind, no?

Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, 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
=======================================================================