Re: progress on OWL going to Rec

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 Sunday, 25 October 2009 15:54:54 UTC