All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of org.protege.integration.hermit JAR files with all dependencies

Search JAR files by class name

org.protege.integration.hermit from group edu.stanford.protege (version 1.0.1)

Integrates the HermiT reasoner with Protege Desktop.

Group: edu.stanford.protege Artifact: org.protege.integration.hermit
Show documentation Show source 
 

4 downloads
Artifact org.protege.integration.hermit
Group edu.stanford.protege
Version 1.0.1
Last update 03. September 2015
Tags: with integrates protege desktop hermit reasoner
Organization Stanford Center for Biomedical Informatics Research
URL https://github.com/protegeproject/hermit-integration
License GNU Lesser General Public License
Dependencies amount 4
Dependencies owlapi-osgidistribution, org.semanticweb.hermit, automaton, org.protege.editor.owl,
There are maybe transitive dependencies!

org.protege.integration.hermit from group edu.stanford.protege (version 1.0.0)

Integrates the HermiT reasoner with Protege Desktop.

Group: edu.stanford.protege Artifact: org.protege.integration.hermit
Show documentation Show source 
 

4 downloads
Artifact org.protege.integration.hermit
Group edu.stanford.protege
Version 1.0.0
Last update 13. December 2013
Tags: with integrates protege desktop hermit reasoner
Organization Stanford Center for Biomedical Informatics Research
URL https://github.com/protegeproject/hermit-integration
License GNU Lesser General Public License
Dependencies amount 4
Dependencies org.semanticweb.hermit, automaton, org.protege.editor.owl, owlapi-distribution,
There are maybe transitive dependencies!



Page 1 from 1 (items total 2)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy