4.0.0 org.sonatype.oss oss-parent 7 edu.stanford.protege org.protege.integration.hermit 1.0.0 bundle Protege HermiT Integration Integrates the HermiT reasoner with Protege Desktop. https://github.com/protegeproject/hermit-integration Stanford Center for Biomedical Informatics Research http://bmir.stanford.edu/ GNU Lesser General Public License http://www.gnu.org/copyleft/lesser.html Timothy Redmond tredmond@stanford.edu Jennifer Vendetti vendetti@stanford.edu scm:git:git@github.com:protegeproject/hermit-integration.git scm:git:git@github.com:protegeproject/hermit-integration.git https://github.com/protegeproject/hermit-integration GitHub Issues https://github.com/protegeproject/hermit-integration/issues com.hermit-reasoner org.semanticweb.hermit 1.3.8.3 dk.brics.automaton automaton 1.11-8 edu.stanford.protege org.protege.editor.owl 4.3.0 net.sourceforge.owlapi owlapi-distribution 3.4.5 org.apache.maven.plugins maven-compiler-plugin 3.0 1.6 1.6 org.apache.felix maven-bundle-plugin 2.4.0 true ${project.artifactId};singleton:=true The Protege Development Team automaton ${project.artifactId}*;version=${project.version}, dk.brics.automaton.*, org.semanticweb.HermiT.*, rationals.* !org.apache.axiom.c14n.*, org.protege.editor.owl.*;version="4.3", * plugin.xml, {maven-resources} bundle-manifest install manifest maven-eclipse-plugin 2.9 true