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.

Latest Versions

7 versions โ†’
VersionVulnerabilitiesUsagesDate
1.3.x
1.3.6
2
Feb 27, 2012
1.3.6-BBOP
1
Apr 09, 2012
1.3.5
1
Dec 02, 2011
1.2.x
1.2.2
0
Jul 22, 2011
0.9.x
0.9.4a
0
Jul 22, 2011
7 versions โ†’