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

Hello,

Yes, you're right; I've fixed it.

Boris

> -----Original Message-----
> From: Michael Schneider [mailto:schneid@fzi.de]
> Sent: 21 January 2009 11:56
> To: Boris Motik
> Cc: W3C OWL Working Group
> Subject: 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
> 
> ==============================================================================

Received on Wednesday, 21 January 2009 12:20:18 UTC