W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2009

Re: progress on OWL going to Rec

From: Markus Krötzsch <markus.kroetzsch@kit.edu>
Date: Sun, 25 Oct 2009 22:15:18 +0100
To: Birte Glimm <birte.glimm@comlab.ox.ac.uk>
Cc: Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org, Pascal Hitzler <pascal.hitzler@wright.edu>, Sebastian Rudolph <sru@aifb.uni-karlsruhe.de>, Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Bijan Parsia <bparsia@cs.man.ac.uk>
Message-Id: <200910252215.30012.markus.kroetzsch@kit.edu>
Hi Birte,

thanks for the careful reading. I have implemented everything as suggested 
(besides the OWL RL issue ;). Actually, you have discovered some interesting 
patterns of failure there: I have done similar capitalisation fixes throughout 
the Primer as well.

Regards,

Markus


On Sonntag, 25. Oktober 2009, 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


-- 
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


Received on Sunday, 25 October 2009 21:16:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 25 October 2009 21:16:07 GMT