Download all versions of HermiT JAR files with all dependencies
HermiT from group com.github.ansell.hermit (version 1.3.8.2-ansell)
HermiT is reasoner for ontologies written using the Web
Ontology Language (OWL). Given an OWL file, HermiT can determine whether or
not the ontology is consistent, identify subsumption relationships between
classes, and much more.
This is the maven build of HermiT and is designed for people who wish to use
HermiT from within the OWL API. It is not officially supported by the HermiT
development team, but was built initially for use with the Clojure-OWL
library. It is built using the HermiT source tree without modification.
There have been some additions to the test source tree to account for
differences between the maven and ant environment; these are small and
(hopefully) maintainable.
The version number of this package is a composite of the HermiT version and
an value representing releases of this packaged version. So, 1.3.7.1 is the
first release of the mavenized version of HermiT based on the 1.3.7 release
of HermiT.
This package includes the Jautomata library
(http://jautomata.sourceforge.net/), and builds with it directly. This
library appears to be no longer under active development, and so a "fork"
seems appropriate. No development is intended or anticipated on this code
base.
Artifact HermiT
Group com.github.ansell.hermit
Version 1.3.8.2-ansell
Last update 03. September 2013
Tags: maven using subsumption wish test package determine hopefully people whether been additions more packaged tree given file value longer directly these fork appropriate releases identify under number code team intended ontology without composite much environment representing http sourceforge mavenized active jautomata language anticipated release small this reasoner some development ontologies have from build includes differences appears version clojure initially modification designed seems officially maintainable supported written built relationships between classes with builds hermit source there library base account within consistent first based
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 12
Dependencies owlapi-api, owlapi-impl, owlapi-parsers, owlapi-rio, sesame-rio-turtle, sesame-rio-ntriples, sesame-rio-rdfxml, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton,
There are maybe transitive dependencies!
Group com.github.ansell.hermit
Version 1.3.8.2-ansell
Last update 03. September 2013
Tags: maven using subsumption wish test package determine hopefully people whether been additions more packaged tree given file value longer directly these fork appropriate releases identify under number code team intended ontology without composite much environment representing http sourceforge mavenized active jautomata language anticipated release small this reasoner some development ontologies have from build includes differences appears version clojure initially modification designed seems officially maintainable supported written built relationships between classes with builds hermit source there library base account within consistent first based
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 12
Dependencies owlapi-api, owlapi-impl, owlapi-parsers, owlapi-rio, sesame-rio-turtle, sesame-rio-ntriples, sesame-rio-rdfxml, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)