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
Tags: maven using subsumption wish determine package people whether although more packaged given file value longer directly fork appropriate releases identify under number code intended ontology versioned much composite representing http sourceforge mavenized active language jautomata anticipated this reasoner release development ontologies from build includes appears version seems designed officially repository supported written relationships between classes with builds developers hermit main library base within consistent first based
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
Tags: maven using subsumption wish determine package people whether although more packaged given file value longer directly fork appropriate releases identify under number code intended ontology versioned much composite representing http sourceforge mavenized active language jautomata anticipated this reasoner release development ontologies from build includes appears version seems designed officially repository supported written relationships between classes with builds developers hermit main library base within consistent first based
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