- From: Uli Sattler <sattler@cs.man.ac.uk>
- Date: Wed, 25 Mar 2009 18:26:29 +0000
- To: Maurizio Lenzerini <lenzerini@dis.uniroma1.it>, Diego Calvanese <calvanese@inf.unibz.it>, Guiseppe De Giacomo <degiacomo@dis.uniroma1.it>, Riccardo Rosati <Riccardo.Rosati@dis.uniroma1.it>
- Cc: public-owl-comments@w3.org
Dear Maurizio, Diego, Giuseppe and Riccardo,
Thank you for your comment
<http://lists.w3.org/Archives/Public/public-owl-comments/2009Jan/0014.html
>
on the OWL 2 Web Ontology Language last call drafts.
Your comment is closely related to the one by Misha (see http://lists.w3.org/Archives/Public/public-owl-comments/2009Jan/0019.html)
and Ivan (see http://www.w3.org/mid/49881F19.7040209@w3.org).
The working group has decided to implement the editorial changes and
will correct the typos, thanks for pointing them out. We have also
decided to add to OWL 2 QL reflexive, irreflexive, & asymmetric
property axioms. Moreover, we will fix the inaccuracies in the
complexity table, following suggestions by Misha and discussions with
you: for data complexity, we will add that OWL 2 QL is in AC_0, i.e.,
queries are first order rewritable and that the taxonomic complexity
is NLogSpace-complete.
We have decided *not* to add sameAs to OWL 2 QL, but to add a
paragraph that explains that, if one wants to handle ontologies that
are OWL 2 QL plus sameAs, then one can use a preprocessing step that
materializes the sameAs relation and uses it in query answering
procedures to simulate individual equality reasoning (see http://www.w3.org/2007/OWL/wiki/Profiles#Feature_Overview_2)
.
Please acknowledge receipt of this email to <mailto:public-owl-comments@w3.org
> (replying to this email should suffice). In your acknowledgment
please let us know whether or not you are satisfied with the working
group's response to your comment.
Regards,
Uli Sattler
on behalf of the W3C OWL Working Group
Received on Wednesday, 25 March 2009 18:27:02 UTC