HermiT FAQ

• Q: Which HermiT is this?

• A: This is a fork of HermiT (hosted at http://www.hermit-reasoner.com/) created for the purpose of easily updating HermiT to use the latest OWLAPI versions. The library is released under the net.sourceforge.owlapi group, as the fork is managed by the same developers behind the OWLAPI library. Currently this fork is deployed with the latest Protege versions.

• Q: Does it have the same functionalities?

• A: The core reasoner code is the same. However, some accessory functionality such as the command line interface have received less attention and might not work in the same way.

• Q: Can I use this version of HermiT on the command line like the original HermiT?

• A: The original HermiT is an uber jar - i.e., it was built to include its dependencies. This makes it convenient for command line use but inconvenient for use as a dependency of other projects/libraries, as, for example, it becomes impossible to update a library that HermiT incorporates. The current HermiT releases require the classpath to be set by hand before the command line interface becomes functional. To simplify usage for those users who might find the command line interface best for their needs, we've created a package that behaves the same as the original HermiT. The current version and future versions of this package will be available at https://github.com/owlcs/releases/tree/master/HermiT.