W3C home > Mailing lists > Public > public-owl-wg@w3.org > February 2008

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

From: Michael Schneider <schneid@fzi.de>
Date: Fri, 1 Feb 2008 09:58:05 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A06C2DE8@judith.fzi.de>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <public-owl-wg@w3.org>
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


Received on Friday, 1 February 2008 08:58:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 1 February 2008 08:58:19 GMT