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.
Newer Version Available
Note: this artifact is located at BBOP repository (https://code.berkeleybop.org/maven/repository/)