<div dir="ltr">[Apologies for cross-posting]<br><br>Dear all,<br><br>We are happy to announce the new release 1.3.8 of the HermiT OWL<br>Reasoner <a href="http://www.hermit-reasoner.com/">http://www.hermit-reasoner.com/</a>.<br>
<br>HermiT is a free and open source reasoner for ontologies written using<br>the Web Ontology Language (OWL) [1], developed by the University of<br>Oxford. Given an OWL ontology, HermiT can determine whether the<br>ontology is consistent, build hierarchical relationship among classes,<br>
and much more. It is based on Java and can be used under the OWL API<br>[2], Protege [3], or a command line interface.<br><br>The new release contains several bug fixes (see readme file for more details). <br>It is available from HermiT's homepage or download page [4].<br>
<br>The HermiT users' discussion group [5] is available for further<br>discussion, questions and comments, and the HermiT issue tracker [6]<br>is available for bug reports.<br><br>HermiT Team<br><br>[1] <a href="http://www.w3.org/TR/owl2-overview/">http://www.w3.org/TR/owl2-overview/</a><br>
[2] <a href="http://owlapi.sourceforge.net/">http://owlapi.sourceforge.net/</a><br>[3] <a href="http://protege.stanford.edu/">http://protege.stanford.edu/</a><br>[4] <a href="http://www.hermit-reasoner.com/download.html">http://www.hermit-reasoner.com/download.html</a><br>
[5] <a href="http://groups.google.com/group/hermit-users">http://groups.google.com/group/hermit-users</a><br>[6] <a href="http://code.google.com/p/hermit-reasoner/issues/list">http://code.google.com/p/hermit-reasoner/issues/list</a><br clear="all">
<br>-- <br>Ernesto Jiménez-Ruiz<br>Research Assistant<br>
Department of Computer Science<br>
University of Oxford<br>Wolfson Building, Parks Road, Oxford OX1 3QD, UK<br><br><a href="http://krono.act.uji.es/people/Ernesto" target="_blank">http://krono.act.uji.es/people/Ernesto</a><br><a href="http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/" target="_blank">http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/</a><br>
<br><br>
</div>