W3C home > Mailing lists > Public > semantic-web@w3.org > March 2013

[ANN] Release of HermiT 1.3.7

From: Ernesto Jimenez-Ruiz <ernesto.jimenez.ruiz@gmail.com>
Date: Tue, 26 Mar 2013 16:13:50 +0000
Message-ID: <CA+VyRy8-KA0RObe3aQ1r_LK2FqYv-JdYdTe2dz347n83uuHk3g@mail.gmail.com>
To: "semantic-web@w3.org" <semantic-web@w3.org>
[Apologies for cross-posting]

Dear all,

We are happy to announce the new release 1.3.7 of the HermiT 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 uses the new OWL API 3.4.3, added new functionalities,
and contains several bug fixes (see readme file for more details).
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.

HermiT Team

[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

Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

Received on Tuesday, 26 March 2013 16:14:18 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:40 UTC