W3C home > Mailing lists > Public > public-owl-comments@w3.org > January 2009

Comments on OWL 2 Candidate Recommendations

From: Maurizio Lenzerini <lenzerini@dis.uniroma1.it>
Date: Thu, 22 Jan 2009 18:39:33 +0100
Message-ID: <4978AF55.7040204@dis.uniroma1.it>
To: public-owl-comments@w3.org
CC: Boris Motik <boris.motik@comlab.ox.ac.uk>, Diego Calvanese <calvanese@inf.unibz.it>, Giuseppe De Giacomo <degiacomo@dis.uniroma1.it>, Riccardo Rosati <Riccardo.Rosati@dis.uniroma1.it>

Dear Ian,

last December you sent a message asking for comments on OWL 2 Candidate 
Recommendations (last call), saying that comments received by 23 January 
will be answered and taken into account in the next round of publications..

We actually have the following comments on the section regarding OWL 2 
QL. All of  them refer to what we believe are simply typos.

1. The construct "asymmetric properties (AsymmetricObjectProperty)" 
should be moved from the list of non-supported constructs to the list of 
SUPPORTED axioms (since it can be already expressed using 
DisjointObjectProperties and InverseObjectProperties: R ISA NOT R^-). 
Correspondingly, the sentence "Furthermore, OWL 2 QL disallows the use 
of functional, transitive, asymmetric, reflexive and irreflexive object 
properties," should be changed into "Furthermore, OWL 2 QL disallows the 
use of functional, transitive, reflexive and irreflexive object 
properties,". Finally, in the syntax table below the above sentence, 
AsymmetricObjectProperty should be added to the list of allowed 
ObjectPropertyAxiom.

2. The sentence
- existential quantification to a class expression or a data range 
(ObjectSomeValuesFrom in the subclass position)
should be changed into
- existential quantification to a class expression or a data range 
(ObjectSomeValuesFrom) in the subclass position

3. The sentence
  - property inclusions (SubObjectPropertyOf involving property chains)
should be changed into
- property inclusions (SubObjectPropertyOf) involving property chains

Thank you for your attention. Best regards.

Maurizio, Giuseppe, Diego, Riccardo


------------------------------------------------------------
Prof. Maurizio Lenzerini
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
Sapienza UniversitÓ di Roma
Via Ariosto 25, I-00185 Roma, Italy
Tel:       +39 - 06 - 77274008
Fax:      +39 - 06 - 77274002
E-mail:    lenzerini@dis.uniroma1.it
Home page: http://www.dis.uniroma1.it/~lenzerini
Received on Thursday, 22 January 2009 18:26:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 22 January 2009 18:26:05 GMT