
Download org.semanticweb.hermit JAR 1.3.8.3 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 now versioned in the main HermiT
version repository, although not officially supported by the HermiT
developers.
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 org.semanticweb.hermit version 1.3.8.3 from the group com.hermit-reasoner.
Test
Artifact org.semanticweb.hermit
Group com.hermit-reasoner
Version 1.3.8.3
Last update 26. November 2013
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 7
Dependencies commons-logging, owlapi-distribution, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton,
There are maybe transitive dependencies!
Group com.hermit-reasoner
Version 1.3.8.3
Last update 26. November 2013
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 7
Dependencies commons-logging, owlapi-distribution, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton,
There are maybe transitive dependencies!
There is a newer version: 1.3.8.4
Show newest versionShow all versions of org.semanticweb.hermit Show documentation
Please rate this JAR file. Is it a good library?
10 downloads
Source code of org.semanticweb.hermit version 1.3.8.3
META-INF
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