- From: Michael Schneider <schneid@fzi.de>
- Date: Thu, 15 Apr 2010 08:20:53 +0200
- To: <public-rif-comments@w3.org>
- Cc: "Jos de Bruijn" <bruijn@kr.tuwien.ac.at>, "Ian Horrocks" <ian.horrocks@comlab.ox.ac.uk>, "Chris Welty" <cawelty@gmail.com>
Hi! After having checked again today, I can confirm that all the issues that I have reported (see below) have been addressed adequately. I am satisfied with the result. Best, Michael >-----Original Message----- >From: Chris Welty [mailto:cawelty@gmail.com] >Sent: Wednesday, April 14, 2010 8:18 PM >To: Michael Schneider >Cc: Jos de Bruijn; Ian Horrocks >Subject: Re: [Fwd: RE: one more affirmation....] > > >Michael, > >Could you respond to this message and let us know whether you are >satisified with the result. > >Thanks, >Chris > >Jos de Bruijn wrote: >> Hi Michael, >> >> Thanks very much for the typo hunting. In fact, using a similar search >I was >> able to find even more typos myself. >> >> Cheers, Jos >> >> On Mon, Apr 12, 2010 at 11:43 PM, Michael Schneider <schneid@fzi.de> >wrote: >> >>> Hi Jos! >>> >>> I just checked myself, looking for all occurrences of "OWL" (because >this >>> is >>> often, though not always, a prefix to the terms in question), and >then >>> again >>> for the terms separately, to be safe. >>> >>> I still found a few things: >>> >>> * §4, 2nd par: "Direct Demantics" (typo: "D") >>> >>> * §4, 3rd par: "combinations of RIF with OWL 2 DL are based on the >OWL 2 >>> Structural Model" >>> (2 times "Structural Model" in this par). >>> I'm not sure what is meant by "Structural Model" here. >>> If it is meant in an informative way, then both "structural" and >"model" >>> should >>> probably be written lower-cased. I can see the formulation being >used >>> again repeatedly >>> in the beginning of 9.2.2, but there lower-cased. In any case, there >is no >>> such term >>> in the OWL 2 nomenclature. Maybe "Structural Specification" is >meant? >>> >>> * 9.2.2.2, Proof of the "Normalized Combination Embedding Lemma": >>> "OWL2" instead of "OWL 2" (missing whitespace) >>> >>> * same proof, paragraph starting by "Consider a has-key axiom d." >>> there is a parenthetical reference to "OWL2-Semantics" without >surrounding >>> brackets. >>> >>> So, this should really be enough typo hunting from my side. ;-) >>> >>> Cheers, >>> Michael >>> >>> From: jos.debruijn@gmail.com [mailto:jos.debruijn@gmail.com] On >Behalf Of >>> Jos de Bruijn >>> Sent: Monday, April 12, 2010 10:50 PM >>> To: Michael Schneider >>> Cc: Ian Horrocks; Chris Welty >>> Subject: Re: [Fwd: RE: one more affirmation....] >>> >>> Hi, >>> >>> Thanks for bringing this issue to our attention. I think I now got >all the >>> lower-case versions of the terms. >>> >>> Cheers, Jos -- 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 =======================================================================
Received on Thursday, 15 April 2010 06:21:28 UTC