HermiT 1.3.6 released

[Jack]

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.

Zhe

[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