W3C home > Mailing lists > Public > semantic-web@w3.org > February 2012

[ANN] HermiT 1.3.6 OWL Reasoner

From: Zhe Wang <zhe.wang@cs.ox.ac.uk>
Date: Sat, 25 Feb 2012 11:31:24 +0000
Message-ID: <3021572F-7FA3-4134-8AAB-4FFB7A42FC41@nexus.ox.ac.uk>

We are happy to announce the release of the new HermiT 1.3.6 OWL Reasoner http://www.hermit-reasoner.com/.

HermiT is a free and open source reasoner for ontologies written using the Web Ontology Language (OWL) [1], developed by the University of Oxford. Given an OWL ontology, HermiT can determine whether the ontology is consistent, build hierarchical relationship among classes, and much more. It is based on Java and can be used under the OWL API [2], Protege [3], or a command line interface.

The new release contains improved property instances management and SWRL rule clausification, and several bug fixes. It is available from HermiT's homepage or download page [4].

The HermiT users' discussion group [5] is available for further discussion, questions and comments, and the HermiT issue tracker [6] is available for bug reports.


P.S. Apologies for multiple/cross postings.

[1] http://www.w3.org/TR/owl2-overview/
[2] http://owlapi.sourceforge.net/
[3] http://protege.stanford.edu/
[4] http://www.hermit-reasoner.com/download.html
[5] http://groups.google.com/group/hermit-users
[6] http://code.google.com/p/hermit-reasoner/issues/list

Dr. Zhe Wang
Department of Computer Science, University of Oxford
Room 309, Parks Road, OX1 3QD Oxford, United Kingdom
+44 (0)1865 283520
Received on Sunday, 26 February 2012 22:20:03 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:27 UTC