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

QuOnto: OWL 2 Implementation report (correction)

From: Claudio Corona <corona@dis.uniroma1.it>
Date: Thu, 06 Aug 2009 00:00:50 +0200
Message-ID: <4A7A0112.9060503@dis.uniroma1.it>
To: public-owl-comments@w3.org
[the previous post (see 
has an error in the reasoner URL]

** OWL 2 Implementation report - QuOnto **

1. Contributors (in alphabetical order)

Claudio Corona, Marco Ruzzi, Domenico Fabio Savo
SAPIENZA University of Rome

2.  The name of your system, a URL for its website (if any), and a 

QuOnto - http://www.dis.uniroma1.it/~quonto/
QuOnto is an OWL 2 QL reasoner.

3.  Which profile(s) it implements (DL, EL, QL, RL, or Full).  We
      would appreciate some brief commentary about why you chose those
      profiles, and what sort of implementation techniques you are

QuOnto was originally born as a DLLite[_A] implementation. Being the OWL 
2 QL profile based on DLLite, we built a version of QuOnto specifically 
tailored for OWL 2 QL.

4.  Which semantics you implement (direct or rdf-based), and
      (optionally) why.

We implement direct semantics.

5.  Do you believe your system currently conforms to the OWL 2
      Candidate Recommendation?  Does it pass all the test cases for
      your profile?  If not, which features does it lack and/or which
      test cases does it not yet pass?  Do you have plans to make it
      conformant, and make it pass all the test cases?

We believe that QuOnto is fully conformat, for a restricted set of 
datatypes. It passes all required
tests and extra credit tests.

6.  Did you implement the "at risk" features, owl:rational and
      rdf:XMLLiteral?  If not, do you intend to, or do you think we
      should remove them from OWL 2?

QuOnto does not support rationals and rdf:XMLLiteral, but we intend to.

7.  Finally, we'd appreciate your evaluation of whether the OWL 2
      Candidate Recommendation is ready to proceed along the standards
      track toward being a W3C Recommendation.  If not, please be sure
      to tell us what problems you think we need to address.

We see no problems with proceeding to Recommendation.

Claudio Corona,
Marco Ruzzi,
Domenico Fabio Savo.
Received on Wednesday, 5 August 2009 22:01:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:29 UTC