RE: A minor bug in OWL 2 RL - Theorem PR1

Hi again!

As a third point: Shouldn't the occurrences of "RDF(X)" in the proof sketch not be replaced by "FO(RDF(X))"? The concept of a derivation tree seems to make more sense for triples in T-predicate form in combination with rules in the form of first order derivations, rather than for RDF graphs.

Best,
Michael

>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Michael Schneider
>Sent: Tuesday, January 20, 2009 7:34 PM
>To: Boris Motik
>Cc: W3C OWL Working Group
>Subject: RE: A minor bug in OWL 2 RL - Theorem PR1

>I found two additional points:
>
>* A trivial typo: "respe[c]tively" (in the first line of the paragraph
>starting by "Furthermore").
>
>* I wonder why I did not see/ask this before: I don't understand why the
>claim in the theorem starts with "O_1 entails O_2 under the OWL 2 RDF-
>Based
>semantics [...]". Why OWL 2 Full? O_1 and O_2 are actually in Functional
>Syntax, so at least formally OWL 2 Full cannot be applied. But more
>importantly, AFAIR, the idea of the proof was approximately that the
>triple
>rules and the /Direct/ semantics produce identical conclusions as long
>as
>only ABox axioms are regarded on the RHS of entailment queries. Do I
>miss
>something?
>
>Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: schneid@fzi.de
WWW  : 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
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

==============================================================================