![JAR search and dependency download from the Maven repository](/logo.png)
Download org.semanticweb.hermit JAR 1.4.5.519 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 a value representing the OWLAPI release it is compatible with. Note that the group id for the upstream HermiT is com.hermit-reasoner, while this fork is released under net.sourceforge.owlapi.
This fork exists to allow HermiT users to use newer OWLAPI versions than the ones supported by the original HermiT codebase.
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.4.5.519 from the group net.sourceforge.owlapi.
Test
Artifact org.semanticweb.hermit
Group net.sourceforge.owlapi
Version 1.4.5.519
Last update 18. February 2020
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 8
Dependencies commons-logging, owlapi-distribution, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton, java-getopt,
There are maybe transitive dependencies!
Group net.sourceforge.owlapi
Version 1.4.5.519
Last update 18. February 2020
Organization not specified
URL http://hermit-reasoner.com/
License LGPL
Dependencies amount 8
Dependencies commons-logging, owlapi-distribution, axiom-api, axiom-c14n, axiom-impl, axiom-dom, automaton, java-getopt,
There are maybe transitive dependencies!
The newest version!
Show all versions of org.semanticweb.hermit Show documentation
Please rate this JAR file. Is it a good library?
61 downloads
Source code of org.semanticweb.hermit version 1.4.5.519
META-INF
META-INF.maven.net.sourceforge.owlapi.org.semanticweb.hermit
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.expr
rationals.properties
rationals.transformations
© 2015 - 2025 Weber Informatics LLC | Privacy Policy