Progress on QRG

Hi All

I made a few changes to QRG. The diff to the version sent before the
Apr 29 telcon [1] is in [2]

Major changes
* As required by the WG, new features now are listed in a table at the
end of the document as an appendix. The table will not be in the print
version.
* "Deprecated Vocabularies in OWL 2" is also moved to the appendix
(because the nature of this section is similar to the "new features"
section)
* All rdf and xsd datatypes have links to their defining documents
* All links to Primer and Syntax are checked and made as fine-grained
as possible (previously some are only to section anchors)
* "Annotation of an axiom" is extended to "Annotation of an axiom, an
ontology or other annotations", with some changes

Minor changes
* abstract updated
* various typo fix
* add that  'C' in disjoint union is a named class
* add datatype definition
* removed the binary form of individual equality (sameAs) - it has
been covered by the n-ary form
* added named annotation property
* Fix the functional syntax of the Deprecation section (the previous
one was really RDF syntax)
* add prefix declaration
* [TBD] "Ontology Properties" -> "Annotation Properties for
Ontologies", and the functional syntax is updated  (the previous one
was really RDF syntax)
* removed ''value space'' explanation for  Built-in Datatypes - not
really useful here, and the  "abc"^^DT syntax has been given in the
"Individuals & Literals" section
* rdfs:Literal is added as a datatype, as in Syntax it is allowed to
be a datatype IRI [5].

To be discussed
* Whether "Appendix" should be call this way, or as "Difference from OWL 1"
* Whether owl:distinctMembers is deprecated? It is not used in Syntax,
nor used in the mapping from Syntax to RDF syntax (thus, effectively
an OWL 2 editor will not produce a RDF document using
owl:distinctMembers). It is indeed used (and only used) in parsing an
OWL 2 RDF syntax document into the functional syntax ([4], Table 16),
for clearly backwards compatibility to OWL 1. I'm not sure about its
status. The current set of documents is quite silent on that, which
may confuse some users. Note that I'm not arguing for its deprecation,
I'm asking the right way to document it.
* Should Declaration be moved into the Annotation section?  - in
syntax, it is said declarations are "nonlogical " [3].
* In the Syntax, there is no mentioning of ontology properties. All
the three built-in "ontology properties" are actually defined as
annotation properties. However, in the RDF semantics, there are
ontology properties. So it is to be discussed whether we should call
them "Ontology Properties" or Annotation Properties for Ontologies".
** do we ever have a formal solution for owl:OntologyProperty?
* the name of rdfs:Literal - it is tentatively called "universal
datatype" (in parallel to owl:Thing), or maybe just "rdfs literal"?
* In linking xsd datatypes, shall we link to xsd1.0 or xsd 1.1?
(currently only xsd:dateTimeStamp is linked to xsd1.1)

[1] http://www.w3.org/2007/OWL/wiki/index.php?title=Quick_Reference_Guide&oldid=22787
[2] http://www.w3.org/2007/OWL/wiki/index.php?title=Quick_Reference_Guide&diff=23022&oldid=22787
[3] http://www.w3.org/2007/OWL/wiki/Syntax#Entity_Declarations_and_Typing
[4] http://www.w3.org/2007/OWL/wiki/Mapping_to_RDF_Graphs#Parsing_of_Axioms
[5] http://www.w3.org/2007/OWL/wiki/Syntax#Datatypes

Jie

-- 
Jie Bao
http://www.cs.rpi.edu/~baojie

Received on Saturday, 2 May 2009 04:45:55 UTC