Protege HermiT Integration 1.0.1

Integrates the HermiT reasoner with Protege Desktop.

License	GNU Lesser General Public License
Categories	Protégé General Purpose Libraries Utility
GroupId	edu.stanford.protege
ArtifactId	org.protege.integration.hermit
Version	1.0.1
Type	bundle
Description	Protege HermiT Integration Integrates the HermiT reasoner with Protege Desktop.
Project URL	https://github.com/protegeproject/hermit-integration
Project Organization	Stanford Center for Biomedical Informatics Research
Source Code Management	https://github.com/protegeproject/hermit-integration

Download org.protege.integration.hermit 1.0.1

Filename	Size
org.protege.integration.hermit-1.0.1.pom
org.protege.integration.hermit-1.0.1.jar	1 MB
org.protege.integration.hermit-1.0.1-sources.jar	1 KB
org.protege.integration.hermit-1.0.1-javadoc.jar	24 KB

Dependencies

compile (4)

Group / Artifact	Type	Version
net.sourceforge.owlapi : owlapi-osgidistribution	jar	[3.5.2,3.9)
com.hermit-reasoner : org.semanticweb.hermit	jar	1.3.8.3
dk.brics.automaton : automaton	jar	1.11-8
edu.stanford.protege : org.protege.editor.owl	jar	[4.3.0,5.0.0-beta-18)

Project Modules

There are no modules declared in this project.