Review of QRG

	Review of QRG

I reviewd the version of 3 May 2009.
I fixed a number of typographical and grammatical errors.
Some of the suggestions require major changes to the document so a
re-review will be needed.


ERRORS:

Data Property Restrictions
     individual value -> literal value

4.1: There is no "hook for n-ary datatype" in Data Ranges

4.1: Annotation of objects was in OWL 1

4.1: Annotation of annotations is new in OWL 2

4.1: There are many extra built-in datatypes beyond the ones listed.

2.4: datatype definitions are a kind of axiom

3.1: xsd:dateTime allows the absence of time zone offset
     xsd:dateTimeStamp requires time zone offset

2.3: anonymous individuals are written _:a

2.8: The section on annotations has several errors:
     - there are annotation assertions
       - which can be on any IRI or anonymous individual
       - which have value any IRI, anonymous individual, or literal
     - there are annotations on axioms
       - if the axiom has a main blank node
       	  then the annotation triple is on that blank node
       - if the axiom generates one or more main triples
       	  then four triples sharing a blank node are added for each main
	  triple
	   the annotation generates a triple on each blank node
     - there are annotations on annotations
       - four triples sharing a blank node are added for the annotation
        the new annotation triple is on this blank node

2.9: The functional syntax for the three annotation properties is wrong.

2.9: The three annotation properties here should be added to the list of
     annotation properties in 2.8

2.0: There are no links to NF&R in the first column.

SUGGESTION ON FIXING NOTATION:

I suggest that the notation situation be cleaned up as follows:
- rename Section 1 to  Names, Prefixes, and Notation

  Names in OWL 2 are IRIs, often written in a shorthand PF:LCL, where PF
  refers to an IRI forming the first part of the name and LCL is the
  remainder of the name.  Throughout this document U is any IRI, CN is a
  class name, DN is a datatype name, PN is an object property name, RN
  is a data property name, AN is an annotation property name, aN is an
  individual name, and ON is an ontology name.

  OWL 2 individuals can also be globally anonymous, written as _:a where
  a is the local identifier for the individual.

  Throughout the document C is a class expression, D is a data range, P
  is an object property expression, R is a data property expression, a
  is an individual, v is a literal, n is a ....

 In the RDF syntax, _:x is a blank node and (a1...an) is an RDF list.

  All of the previous can have subscripts.

- remove the paragraph on notation from Section 2.0 
- make the appropriate changes throughout the rest of the document

OTHER SUGGESTIONS:

2.1: n-ary Data Ranges do not need to be in this document

2.8: The section on deprecation is not needed and should at least be
     moved to an appendix.

2.4: The comment that datatypes have arity one is not needed.

3.2: The introductory paragraphs are not needed.  For the second, just
     use the same terminology in 3.1 and 3.2.

3.2: The explanation column is not needed.

3.2: "whose value is a" -> "as a"

4.1: this can be drastically shortened by not using lists

4.1: many of the items in the list can be shortened
     - remove "(self restriction)"
     - remove "restriction" where it is implied
     - remove "binary and pairwise"

4.1: All facets are new to OWL 2, so just say so, don't list them.

Received on Sunday, 3 May 2009 18:03:24 UTC