
Download HermiT JAR 1.3.8.2-ansell with all dependencies
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.
Files of the artifact HermiT version 1.3.8.2-ansell from the group com.github.ansell.hermit.
Test
Artifact HermiT
Group com.github.ansell.hermit
Version 1.3.8.2-ansell
Last update 03. September 2013
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
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!
The newest version!
Show all versions of HermiT Show documentation
Please rate this JAR file. Is it a good library?
HermiT
Rate from 1 - 5,
Rated 2.00 based on 1 reviews
2 downloads
Source code of HermiT version 1.3.8.2-ansell
META-INF
META-INF.services
org.semanticweb.HermiT
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.blocking.org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker
org.semanticweb.HermiT.cli
org.semanticweb.HermiT.datalog
org.semanticweb.HermiT.datatypes
org.semanticweb.HermiT.datatypes.anyuri
org.semanticweb.HermiT.datatypes.binarydata
org.semanticweb.HermiT.datatypes.bool
org.semanticweb.HermiT.datatypes.datetime
org.semanticweb.HermiT.datatypes.datetime.org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval
org.semanticweb.HermiT.datatypes.doublenum
org.semanticweb.HermiT.datatypes.doublenum.org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval
org.semanticweb.HermiT.datatypes.floatnum
org.semanticweb.HermiT.datatypes.floatnum.org.semanticweb.HermiT.datatypes.floatnum.EmptyFloatSubset
org.semanticweb.HermiT.datatypes.floatnum.org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset
org.semanticweb.HermiT.datatypes.owlreal
org.semanticweb.HermiT.datatypes.rdfplainliteral
org.semanticweb.HermiT.datatypes.xmlliteral
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.debugger.commands
org.semanticweb.HermiT.debugger.commands.org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand
org.semanticweb.HermiT.debugger.commands.org.semanticweb.HermiT.debugger.commands.OriginStatsCommand
org.semanticweb.HermiT.debugger.commands.org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.existentials.org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy
org.semanticweb.HermiT.graph
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.model
org.semanticweb.HermiT.monitor
org.semanticweb.HermiT.structural
org.semanticweb.HermiT.tableau
rationals
rationals.algebra
rationals.converters
rationals.converters.analyzers
rationals.converters
rationals.expr
rationals.properties
rationals.transformations
rationals.utils
© 2015 - 2025 Weber Informatics LLC | Privacy Policy