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

Re: progress on OWL going to Rec

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Mon, 26 Oct 2009 15:09:53 +0000
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>
Message-Id: <0F999329-C65E-4884-AF63-DA1A41079A50@comlab.ox.ac.uk>
To: Birte Glimm <birte.glimm@comlab.ox.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 26 October 2009 15:10:29 GMT