Re: possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability)

Hi, Peter!

I would like to discuss an OWL-Full related mail, which you sent several weeks ago to this list:

  "possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability)"
  <http://lists.w3.org/Archives/Public/public-owl-wg/2007Dec/0162.html>

I personally agree with most of the point you write. There is, however, a single point which I do not understand, so I have to ask:
 
> Desirable backward-compatibility property:
> 1/ If O, O' are valid LHS and RHS for OWL 1.1 DL entailment
>    and O |= O' in OWL 1.0 DL iff T(O) |= T(O') in OWL 1.0 Full
>    then O |= O' in OWL 1.1 DL iff T(O) |= T(O') in OWL 1.1 RDF
>    - This says that we keep exact correspondence whereever possible.

Question: Is it really meant that O and O' have to be valid in *1.1*-DL (not 1.0-DL)?

My question has two aspects: (a), I would expect that, when talking about backward-compatibility, only OWL-1.0 ontologies are taken into account. And (b), some valid 1.1-DL ontologies are invalid in 1.0-DL, and I do not know how to read the condition

  O |= O' in OWL 1.0 DL iff T(O) |= T(O') in OWL 1.0 Full

in such a case.

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

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 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus