Jar examples for o:org.protege.integration.hermit
Integrates the HermiT reasoner with Protege Desktop.
You can download jar file org.protege.integration.hermit 1.0.0 in this page.
GNU Lesser General Public License
You can use the following script to add org.protege.integration.hermit-1.0.0.jar to your project.
<dependency> <groupId>edu.stanford.protege</groupId> <artifactId>org.protege.integration.hermit</artifactId> <version>1.0.0</version> </dependency>
compile group: 'edu.stanford.protege', name: 'org.protege.integration.hermit', version: '1.0.0'
libraryDependencies += "edu.stanford.protege" % "org.protege.integration.hermit" % "1.0.0"
<dependency org="edu.stanford.protege" name="org.protege.integration.hermit" rev="1.0.0"/>
@Grapes(@Grab(group='edu.stanford.protege', module='org.protege.integration.hermit', version='1.0.0'))
'edu.stanford.protege:org.protege.integration.hermit:jar:1.0.0'
Click the following link to download the jar file.
org.protege.integration.hermit-1.0.0-javadoc.jar