
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">We are happy to announce the release of the new HermiT 1.3.6 OWL Reasoner <a href="http://www.hermit-reasoner.com/">http://www.hermit-reasoner.com/</a>.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">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.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">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].</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">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.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">Zhe</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">P.S. Apologies for multiple/cross postings.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; font-size: 12px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[1] <a href="http://www.w3.org/TR/owl2-overview/">http://www.w3.org/TR/owl2-overview/</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[2] <a href="http://owlapi.sourceforge.net/">http://owlapi.sourceforge.net/</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[3] <a href="http://protege.stanford.edu/">http://protege.stanford.edu/</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[4] <a href="http://www.hermit-reasoner.com/download.html">http://www.hermit-reasoner.com/download.html</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[5] <a href="http://groups.google.com/group/hermit-users">http://groups.google.com/group/hermit-users</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; font-size: 12px; ">[6] <a href="http://code.google.com/p/hermit-reasoner/issues/list">http://code.google.com/p/hermit-reasoner/issues/list</a></div><div><br></div><div>

<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div><font class="Apple-style-span" face="Tahoma, 'Sans Serif', Arial" size="2"><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">--</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "> </span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Dr. Zhe Wang</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Department of Computer Science, University of Oxford</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">Room 309, Parks Road, OX1 3QD Oxford, United Kingdom</span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; "><br></span><span class="Apple-style-span" style="font-family: Helvetica; font-size: medium; ">+44 (0)1865 283520</span></font></div><div><br></div></span><br class="Apple-interchange-newline">

</div>

<br></body></html>