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

HermiT Implementation Report

From: Birte Glimm <bglimm@cs.man.ac.uk>
Date: Wed, 5 Aug 2009 16:39:20 +0100
Message-ID: <492f2b0b0908050839g7b655179t3f7926a529071d22@mail.gmail.com>
To: public-owl-comments@w3.org
OWL 2 Implementation report - HermiT

1. Contributors (in alphabetical order)

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos
Oxford University

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

HermiT - http://hermit-reasoner.com
HermiT is an OWL 2 DL reasoner based on a novel “hypertableau” calculus.

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

HermiT supports OWL DL, EL, QL and the goal was to implement an OWL DL
reasoner based on the hypertableau calculus. Since OWL DL subsumes OWL
EL and QL, HermiT supports these profiles too.

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 hermit is fully conformat. It passes all required
tests and several 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?

HermiT supports both rationals and rdf:XMLLiteral.

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.
Received on Wednesday, 5 August 2009 15:39:59 UTC

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