- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Mon, 26 Oct 2009 15:09:53 +0000
- To: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
- Cc: markus.kroetzsch@kit.edu, Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org, Pascal Hitzler <pascal.hitzler@wright.edu>, Sebastian Rudolph <sru@aifb.uni-karlsruhe.de>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Bijan Parsia <bparsia@cs.man.ac.uk>
Hi Birte, Thanks very much for the careful reading and corrections. Ian On 25 Oct 2009, at 15:54, Birte Glimm wrote: > Hi all, > I suggest a couple of minor editorial changes (most just correct > upper/lower case issues or singular/plural), but another thing is that > I think OWL RL entailment checkers should take OWL 2 RL ontology > documents as inputs and not OWL 2 Full as currently stated in Section > 2.2.1. All other species take their respective ontology documents > (e.g., OWL 2 QL takes OWL 2 QL ontologies) and the following sentences > about soundness and competeness seem to assume this also for OWL RL. > Am I wrong here and is that an editorial change? > > Unfortunately, I don't have rights to change the wiki page :-) Markus > could you do the changes? Thanks a lot! > Birte > > 2.1.1 bottom: Note that: ... 2) ... OWL 2 *d*atatype map not "OWL 2 > Datatype map" > 2.2: paragraph after the itemize and also in the following paragraph: > "RDF-Based *S*emantics" not "RDF-Based semantics" > 2.2.1: "An OWL 2 RL entailment checker is an OWL 2 entailment checker > that takes OWL 2 Full ontology documents as input. " > I believe it should take OWL 2 RL ontology documents as input (all > profiles take their respective formats). > same paragraph: first-order semantics, where ... first order theory... > I believe we should both times use a dash: first-order > 3.1.2 "RDF-*B*ased semantics" not "RDF-based semantics" > 3.1.2.4. in Appendix -> in the Appendix (Appendix is a link to the > appendix) > 3.2: Functional Syntax -> functional*-style* syntax all lower case > (could we add a link/reference [OWL Specification])? > 3.2.3: *S*yntax translation tests may provide multiple normative > syntactic forms. > 3.2.3: First item in itemize: functional syntax -> functional-style > syntax > 3.2.4 below the first example: "RDF-*B*ased *S*emantics" not > "RDF-based semantics" and "Direct Semantics" not "direct semantics" > 3.2.6: "that the test conforms" not "that the test*s* conforms" > 3.4: At the chair's discretion -> At the chairs' discretion (to be > consistent with last item in the itemize and because there is not only > one chair) > > > 2009/10/25 Markus Krötzsch <markus.kroetzsch@kit.edu>: >> I have done various final checks & fixes for Primer and >> Conformance. Here is a >> list: >> >> 1) Spellchecked both documents: >> ** caught a small number of typos. >> >> 2) Linkchecked both documents: >> ** all links okay >> ** remaining redirects are all intentional even if warnings appear >> ** caught some unintended IRIs appearing as links to missing #frags >> >> 3) Checked consistent spelling of ontological entities in texts: >> ** some plural/capitalisation fixes in Primer >> >> 4) Checked syntax of ontologies >> ** caught multiple bugs in Conformance (still based on old FSS :-o) >> ** caught one typo in Primer (capitalisation in ManSyntax keyword) >> >> The wiki pages are fixed w.r.t. these aspects now. >> >> Regards, >> >> Markus >> >> >> On Mittwoch, 21. Oktober 2009, Sandro Hawke wrote: >>> The date has slipped slightly, but I think we're still basically on >>> track. Expected publication date is next Tuesday (the first day the >>> ISWC conference track). >>> >>> Please keep checking drafts, now at and linked from: >>> http://www.w3.org/TR/2009/REC-owl2-overview-20091027/ >>> >>> Send e-mail to the list if you make any changes or see any >>> problems that >>> we should fix before publication. In particular, I bet the color- >>> code >>> diff and the changelog don't always agree. :-) >>> >>> My TODO list: >>> - change "Latest Version" to be "Latest Version of OWL" and >>> "Latest >>> Version of OWL 2", as per http://www.w3.org/2005/05/tr-versions >>> - add notes, as discussed, to OWL 1 documents, on publication day >>> - maybe do something about hosting/archiving test suite on w3.org >>> - maybe try to make the XHTML a more HTML friendly >>> >>> I'm not expecting to do anything more on this until Monday >>> evening, as I >>> have other obligations, and I think I've done my bits. >>> >>> -- Sandro >> >> >> -- >> Markus Krötzsch >> Karlsruhe Institute of Technology (KIT), Institute AIFB >> Englerstraße 11 (Geb. 11.40), 76131 Karlsruhe, Germany >> >> phone: +49 (0)721 608 7362 >> fax: +49 721 608 6580 >> email: markus.kroetzsch@kit.edu >> web: http://korrekt.org >> >> http://semantic-web-book.org >> http://semantic-mediawiki.org >> >> KIT - Universität des Landes Baden-Württemberg und nationales >> Großforschungszentrum in der Helmholtz-Gemeinschaft >> >> > > > > -- > Dr. Birte Glimm, Room 306 > Computing Laboratory > Parks Road > Oxford > OX1 3QD > United Kingdom > +44 (0)1865 283529
Received on Monday, 26 October 2009 15:10:28 UTC