- From: Ernesto Jimenez-Ruiz <ernesto.jimenez.ruiz@gmail.com>
- Date: Sat, 22 Jun 2013 12:26:12 +0100
- To: "semantic-web@w3.org" <semantic-web@w3.org>
- Message-ID: <CA+VyRy9J6tvkFbhijDxMHC08+zr72MPZ9-FqiHoBtX4DGZEadQ@mail.gmail.com>
[Apologies for cross-posting] Dear all, We are happy to announce the new release 1.3.8 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 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 http://krono.act.uji.es/people/Ernesto http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/
Received on Saturday, 22 June 2013 11:26:39 UTC