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.
Version1.2.2compared with

Version Details

No dependency changes compared to the selected version.