- From: Maurizio Lenzerini <lenzerini@dis.uniroma1.it>
- Date: Thu, 22 Jan 2009 18:39:33 +0100
- 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 UTC