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
1.2.21.3.6

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Note: this artifact is located at BBOP repository (https://code.berkeleybop.org/maven/repository/)