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