Protege HermiT Integration

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

Download org.protege.integration.hermit

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	22 KB
Browse

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

hermit-integration

Integrates the HermiT reasoner with Protege Desktop.

Protégé Project

Versions

Version
1.0.1 03-Sep-2015
1.0.0 13-Dec-2013