Review of Semantics Documnt

Reviewer Name: Jeff Z. Pan
Affiliation: Computer Science Dept., University of Manchester

Document title:
Web Ontology Language (OWL) Abstract Syntax and Semantics (Editor's Draft 2
January 2003)

Editors:
Peter F. Patel-Schneider, Bell Labs Research
Patrick Hayes, IHMC, University of West Florida
Ian Horrocks, Department of Computer Science, University of Manchester

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

 Summary:

 This document provides a high-level, abstract syntax for OWL/Lite and
OWL/DL, and gives a clear direct model-theoretic semantics to the languages.
Since RDF/XML is selected as the normative exchange syntax for OWL, a
mapping from the abstract syntax to RDF graphs is also provided, together
with the RDFS-compatible model-theoretic semantics.


 Comments for the Editors:

 This document was generally of very good quality. The structure is very
clear, and the work is solid and important. Most parts of the document are
relatively easy to understand.

 The only part that is not so easy to follow is section 5.2. Most of the
following detailed comments are about this section.


**1. Something I don't quite understand:

- section 5.2, why does owl:complementOf have only-if, but not iff
characterization, while sameClassAs and disjointWith etc have iff
characterizations. I become wondering what will happen if we change e.g.
sameClassAs to only-if characterization, does the reasoning rely on the
newly added triples?



**2. some typos:

- section 5.2, I(E) should be S_I(E), or atleast introduce/define I(E)
somehow like that in RDF MT.

- section 5.2, "RDFS domains and ranges" part, column 3 of row 1 in the
table, "CEXT" should be "EXT".

- section 5.2, "R_I contains elements corresponding to all possible OWL
descriptions and data ranges" part, in the sentence "The first three
conditions ... ", why "three", aren't there two? (It should be three if we
consider the third item of part **3.)

- Appendix B.1, first example line 4, is "value" missed in front of
"(ex:author ..."?

- Appendix B.1, second example line 2, is "intersectionOf" missed?



**3. minor bugs:

- section 5.2, "Some OWL properties have only-if characterizations", the
last rule of the second table, "if E is owl:oneOf ...", this is not common
portion of the semantics of OWL/DL and OWL/FULL, thus should be moved to
section 5.4. Also in this rule, it seems that "RI OR LV" should be "RI" or
"IOT" (in OWL/FULL they are the same), since LV is already a subset of RI.

- section 5.2, "Some OWL properties have only-if characterizations",the
fourth table, "y\in IOC" should be "y\in IOC OR IDC".

- section 5.2, "R_I contains elements corresponding to all possible OWL
descriptions and data ranges", if there exists l, a sequence of x1,...xn
over IOT OR LV, then there exist y with y\in CEXT(I(rdfs:Class)), <y.l>\in
EXT(I(owl:oneof)): I think this rule should be moved to section 5.4, and in
here (section 5.2) should be replaced by two, one for IOT and the other for
LV, otherwise if x1,...,xn are mixed objects/values, it will cause trouble
to OWL/DL.

- Appendix B.2, the three antecedent triples don't entail Susan is an
object, and friend is an individual property.


**4. Some suggestions:

- section 5.2 "Relationships between OWL classes", it is kind of weird to
have  two (or more than two) tables as conditions without any explanations.
Instead, it might be better if we explain that the relationships between OWL
classes may be divided into subset relationships (the first table) and
membership relationships (the second table).

- section 5.2 "Characteristics of members of OWL classes": it might be a
good idea to have some descriptions before the table. In general, some more
texts are needed to make section 5.2 easier to understand.

- section 5.3, second paragraph, "V'" includes VRDFS, while in section
5.3.2, the last sentence of second paragraph, "V'" is disjoint from VRDFS.
It might be a good idea to change the first one to "V".


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

--

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Jeff Z. Pan  ( http://DL-Web.man.ac.uk/ )

Room 2.100                                     email: pan@cs.man.ac.uk
Department of Computer Science      Tel:+44 (0)161 275 6145
University of Manchester                   Fax:+44 (0)161 275 6204
Oxford Road, Manchester
M13 9PL,UK

Here is a Map to Jeff's office:
http://uk.multimap.com/p/browse.cgi?pc=M139PL&GridE=&GridN=&scale=10000&titl
e=Welcome%20to%20Jeff's%20Office&cat=www
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Received on Wednesday, 8 January 2003 12:24:25 UTC