HermiT is a conformant OWL 2 DL reasoner that uses the direct semantics. It
supports all OWL2 DL constructs and the datatypes required by the OWL
2 specification.
HermiT is free software: you can redistribute it and/or modify it under the
terms of the GNU General Public License as published by the Free Software
Foundation, either version 3 of the License, or (at your option) any later
version.
This program is distributed in the hope that it will be useful, but without
any warranty; without even the implied warranty of merchantability or fitness
for a particular purpose. See the GNU General Public License for more details.
A copy of the GNU General Public License has been included with this
distribution in the file `license.txt`. An online version is available at
.
More information about HermiT and additional licensing information is
available at , or by contacting Boris Motik or
Ian Horrocks at the Oxford University Computing Laboratory.