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.
VersionVulnerabilitiesRepositoryUsagesDate
1.3.x
1.3.6BBOPFeb 27, 2012
1.3.6-BBOPBBOPApr 09, 2012
1.3.5BBOPDec 02, 2011
1.3.4BBOP
0
Dec 01, 2011
1.2.x
1.2.2BBOP
0
Jul 22, 2011
0.9.x
0.9.4aBBOP
0
Jul 22, 2011