4.0.0 org.semanticweb HermiT 1.3.6-BBOP 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. This is a custom and mavenized version for BBOP (http://berkeleybop.org/) tools. The project comes without protege support and related dependencies. http://hermit-reasoner.com UTF-8 org.apache.maven.plugins maven-compiler-plugin 2.3.2 1.5 1.5 org.apache.maven.plugins maven-source-plugin 2.1.2 attach-sources jar org.apache.maven.plugins maven-javadoc-plugin 2.8 attach-javadocs jar org.apache.maven.plugins maven-deploy-plugin 2.6 org.apache.maven.wagon wagon-ssh 1.0 org.apache.maven.plugins maven-surefire-plugin 2.11 -Xmx1024M org/semanticweb/HermiT/AllTests.java org/semanticweb/HermiT/graph/AllTests.java BerkeleyBOP Berkeley BOP maven repository http://code.berkeleybop.org/maven/repository/ true commons-logging commons-logging 1.1.1 owlapi owlapi 3.2.4 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 junit junit 4.8.2 test BBOPDeployRepository BBOPDeployRepository ${bbopdeployrepository}