4.0.0 org.semanticweb HermiT 1.3.6 HermiT 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. http://hermit-reasoner.com/ commons-logging commons-logging 1.1.1 owlapi owlapi 3.2.2 org.apache.ws.commons.axiom axiom-api 1.2.9 org.apache.ws.commons.axiom axiom-c14n 1.2.9 org.apache.ws.commons.axiom axiom-impl 1.2.9 org.apache.ws.commons.axiom axiom-dom 1.2.9 dk.brics.automaton automaton 1.11-7 oqube jautomata-core 2.0-alpha-1