jar

com.github.ansell.hermit : HermiT

Maven & Gradle

Sep 03, 2013

HermiT · 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.

Table Of Contents

Latest Version

Download com.github.ansell.hermit : HermiT JAR file - Latest Versions:

All Versions

Download com.github.ansell.hermit : HermiT JAR file - All Versions:

Version Vulnerabilities Size Updated
1.3.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window HermiT-1.3.8.2-ansell.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.semanticweb.HermiT.datatypes.anyuri

├─ org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset.class - [JAR]

org.semanticweb.HermiT.datatypes.floatnum

├─ org.semanticweb.HermiT.datatypes.floatnum.EmptyFloatSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.floatnum.EntireFloatSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.floatnum.FloatInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset.class - [JAR]

org.semanticweb.HermiT.datatypes.bool

├─ org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler.class - [JAR]

rationals.converters.analyzers

├─ rationals.converters.analyzers.DefaultLexer.class - [JAR]

├─ rationals.converters.analyzers.Lexer.class - [JAR]

├─ rationals.converters.analyzers.Parser.class - [JAR]

rationals.transformations

├─ rationals.transformations.Accessible.class - [JAR]

├─ rationals.transformations.BinaryTransformation.class - [JAR]

├─ rationals.transformations.Complement.class - [JAR]

├─ rationals.transformations.CompleteNop.class - [JAR]

├─ rationals.transformations.Concatenation.class - [JAR]

├─ rationals.transformations.EpsilonTransitionRemover.class - [JAR]

├─ rationals.transformations.HashValue.class - [JAR]

├─ rationals.transformations.Identity.class - [JAR]

├─ rationals.transformations.InverseMorphism.class - [JAR]

├─ rationals.transformations.Mix.class - [JAR]

├─ rationals.transformations.Morphism.class - [JAR]

├─ rationals.transformations.Normalizer.class - [JAR]

├─ rationals.transformations.PrefixClosure.class - [JAR]

├─ rationals.transformations.Projection.class - [JAR]

├─ rationals.transformations.Pruner.class - [JAR]

├─ rationals.transformations.Reducer.class - [JAR]

├─ rationals.transformations.Reverser.class - [JAR]

├─ rationals.transformations.Shuffle.class - [JAR]

├─ rationals.transformations.SinkComplete.class - [JAR]

├─ rationals.transformations.Star.class - [JAR]

├─ rationals.transformations.StatesCouple.class - [JAR]

├─ rationals.transformations.Substitution.class - [JAR]

├─ rationals.transformations.ToC.class - [JAR]

├─ rationals.transformations.ToCanonicalRFSA.class - [JAR]

├─ rationals.transformations.ToDFA.class - [JAR]

├─ rationals.transformations.TransformationsToolBox.class - [JAR]

├─ rationals.transformations.UnaryTransformation.class - [JAR]

├─ rationals.transformations.Union.class - [JAR]

org.semanticweb.HermiT.graph

├─ org.semanticweb.HermiT.graph.Graph.class - [JAR]

org.semanticweb.HermiT.datatypes.doublenum

├─ org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.doublenum.EmptyDoubleSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset.class - [JAR]

rationals.properties

├─ rationals.properties.AreEquivalent.class - [JAR]

├─ rationals.properties.AreIsomorph.class - [JAR]

├─ rationals.properties.BinaryTest.class - [JAR]

├─ rationals.properties.Bisimilar.class - [JAR]

├─ rationals.properties.Bisimulation.class - [JAR]

├─ rationals.properties.ContainsEpsilon.class - [JAR]

├─ rationals.properties.IsDeterministic.class - [JAR]

├─ rationals.properties.ModelCheck.class - [JAR]

├─ rationals.properties.Relation.class - [JAR]

├─ rationals.properties.Similar.class - [JAR]

├─ rationals.properties.Simulation.class - [JAR]

├─ rationals.properties.TraceEquivalence.class - [JAR]

├─ rationals.properties.TraceEquivalent.class - [JAR]

├─ rationals.properties.UnaryTest.class - [JAR]

├─ rationals.properties.WeakBisimulation.class - [JAR]

├─ rationals.properties.WeaklyBisimilar.class - [JAR]

├─ rationals.properties.isEmpty.class - [JAR]

├─ rationals.properties.isNormalized.class - [JAR]

org.semanticweb.HermiT.tableau

├─ org.semanticweb.HermiT.tableau.BranchingPoint.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ClashManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DLClauseEvaluator.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DatatypeManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DependencySet.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DependencySetFactory.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DescriptionGraphManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ExistentialExpansionManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ExtensionManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ExtensionTable.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes.class - [JAR]

├─ org.semanticweb.HermiT.tableau.GroundDisjunction.class - [JAR]

├─ org.semanticweb.HermiT.tableau.GroundDisjunctionHeader.class - [JAR]

├─ org.semanticweb.HermiT.tableau.HyperresolutionManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.InterruptCurrentTaskException.class - [JAR]

├─ org.semanticweb.HermiT.tableau.InterruptFlag.class - [JAR]

├─ org.semanticweb.HermiT.tableau.MergingManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.Node.class - [JAR]

├─ org.semanticweb.HermiT.tableau.NodeType.class - [JAR]

├─ org.semanticweb.HermiT.tableau.NominalIntroductionManager.class - [JAR]

├─ org.semanticweb.HermiT.tableau.PermanentDependencySet.class - [JAR]

├─ org.semanticweb.HermiT.tableau.ReasoningTaskDescription.class - [JAR]

├─ org.semanticweb.HermiT.tableau.Tableau.class - [JAR]

├─ org.semanticweb.HermiT.tableau.TupleIndex.class - [JAR]

├─ org.semanticweb.HermiT.tableau.TupleTable.class - [JAR]

├─ org.semanticweb.HermiT.tableau.TupleTableFullIndex.class - [JAR]

├─ org.semanticweb.HermiT.tableau.UnionDependencySet.class - [JAR]

rationals.algebra

├─ rationals.algebra.Matrix.class - [JAR]

├─ rationals.algebra.RationalMatrix.class - [JAR]

├─ rationals.algebra.SemiRing.class - [JAR]

org.semanticweb.HermiT.monitor

├─ org.semanticweb.HermiT.monitor.CountingMonitor.class - [JAR]

├─ org.semanticweb.HermiT.monitor.MemoryConsumptionMonitor.class - [JAR]

├─ org.semanticweb.HermiT.monitor.TableauMonitor.class - [JAR]

├─ org.semanticweb.HermiT.monitor.TableauMonitorAdapter.class - [JAR]

├─ org.semanticweb.HermiT.monitor.TableauMonitorFork.class - [JAR]

├─ org.semanticweb.HermiT.monitor.TableauMonitorForwarder.class - [JAR]

├─ org.semanticweb.HermiT.monitor.Timer.class - [JAR]

├─ org.semanticweb.HermiT.monitor.TimerWithPause.class - [JAR]

org.semanticweb.HermiT.datatypes.binarydata

├─ org.semanticweb.HermiT.datatypes.binarydata.Base64.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.binarydata.BinaryData.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.binarydata.BinaryDataType.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset.class - [JAR]

rationals

├─ rationals.Acceptor.class - [JAR]

├─ rationals.Automaton.class - [JAR]

├─ rationals.AutomatonRunListener.class - [JAR]

├─ rationals.AutomatonRunner.class - [JAR]

├─ rationals.BinaryAutomaton.class - [JAR]

├─ rationals.Builder.class - [JAR]

├─ rationals.Couple.class - [JAR]

├─ rationals.DefaultStateFactory.class - [JAR]

├─ rationals.DefaultSynchronization.class - [JAR]

├─ rationals.MixPlay.class - [JAR]

├─ rationals.NoSuchStateException.class - [JAR]

├─ rationals.RandomAutomaton.class - [JAR]

├─ rationals.Rational.class - [JAR]

├─ rationals.State.class - [JAR]

├─ rationals.StateFactory.class - [JAR]

├─ rationals.StateMachine.class - [JAR]

├─ rationals.StatesTuple.class - [JAR]

├─ rationals.Synchronization.class - [JAR]

├─ rationals.Transition.class - [JAR]

├─ rationals.TransitionBuilder.class - [JAR]

rationals.expr

├─ rationals.expr.BinaryExpr.class - [JAR]

├─ rationals.expr.Iteration.class - [JAR]

├─ rationals.expr.Letter.class - [JAR]

├─ rationals.expr.Plus.class - [JAR]

├─ rationals.expr.Product.class - [JAR]

├─ rationals.expr.RationalExpr.class - [JAR]

org.semanticweb.HermiT.datatypes.xmlliteral

├─ org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler.class - [JAR]

org.semanticweb.HermiT.structural

├─ org.semanticweb.HermiT.structural.BuiltInPropertyManager.class - [JAR]

├─ org.semanticweb.HermiT.structural.ExpressionManager.class - [JAR]

├─ org.semanticweb.HermiT.structural.OWLAxioms.class - [JAR]

├─ org.semanticweb.HermiT.structural.OWLAxiomsExpressivity.class - [JAR]

├─ org.semanticweb.HermiT.structural.OWLClausification.class - [JAR]

├─ org.semanticweb.HermiT.structural.OWLNormalization.class - [JAR]

├─ org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager.class - [JAR]

├─ org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification.class - [JAR]

org.semanticweb.HermiT.datatypes.rdfplainliteral

├─ org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset.class - [JAR]

org.semanticweb.HermiT.blocking

├─ org.semanticweb.HermiT.blocking.AncestorBlocking.class - [JAR]

├─ org.semanticweb.HermiT.blocking.AnywhereBlocking.class - [JAR]

├─ org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking.class - [JAR]

├─ org.semanticweb.HermiT.blocking.BlockersCache.class - [JAR]

├─ org.semanticweb.HermiT.blocking.BlockingSignature.class - [JAR]

├─ org.semanticweb.HermiT.blocking.BlockingSignatureCache.class - [JAR]

├─ org.semanticweb.HermiT.blocking.BlockingStrategy.class - [JAR]

├─ org.semanticweb.HermiT.blocking.BlockingValidator.class - [JAR]

├─ org.semanticweb.HermiT.blocking.DirectBlockingChecker.class - [JAR]

├─ org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.class - [JAR]

├─ org.semanticweb.HermiT.blocking.SetFactory.class - [JAR]

├─ org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker.class - [JAR]

├─ org.semanticweb.HermiT.blocking.ValidatedBlockersCache.class - [JAR]

├─ org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker.class - [JAR]

├─ org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.class - [JAR]

org.semanticweb.HermiT.debugger.commands

├─ org.semanticweb.HermiT.debugger.commands.AbstractCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.AgainCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ClearCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ContinueCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.DebuggerCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ExitCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ForeverCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.HelpCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.HistoryCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ModelStatsCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.NodesForCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.OriginStatsCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.QueryCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowExistsCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowModelCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowNodeCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.SingleStepCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.SubtreeViewer.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand.class - [JAR]

├─ org.semanticweb.HermiT.debugger.commands.WaitForCommand.class - [JAR]

org.semanticweb.HermiT.datatypes.owlreal

├─ org.semanticweb.HermiT.datatypes.owlreal.BigRational.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.BoundType.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.MinusInfinity.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.NumberInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.NumberRange.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.Numbers.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.owlreal.PlusInfinity.class - [JAR]

rationals.converters

├─ rationals.converters.ConverterException.class - [JAR]

├─ rationals.converters.Expression.class - [JAR]

├─ rationals.converters.FromString.class - [JAR]

├─ rationals.converters.ToRExpression.class - [JAR]

├─ rationals.converters.ToString.class - [JAR]

├─ rationals.converters.toAscii.class - [JAR]

org.semanticweb.HermiT.existentials

├─ org.semanticweb.HermiT.existentials.AbstractExpansionStrategy.class - [JAR]

├─ org.semanticweb.HermiT.existentials.CreationOrderStrategy.class - [JAR]

├─ org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy.class - [JAR]

├─ org.semanticweb.HermiT.existentials.IndividualReuseStrategy.class - [JAR]

org.semanticweb.HermiT.model

├─ org.semanticweb.HermiT.model.AnnotatedEquality.class - [JAR]

├─ org.semanticweb.HermiT.model.AtLeast.class - [JAR]

├─ org.semanticweb.HermiT.model.AtLeastConcept.class - [JAR]

├─ org.semanticweb.HermiT.model.AtLeastDataRange.class - [JAR]

├─ org.semanticweb.HermiT.model.Atom.class - [JAR]

├─ org.semanticweb.HermiT.model.AtomicConcept.class - [JAR]

├─ org.semanticweb.HermiT.model.AtomicDataRange.class - [JAR]

├─ org.semanticweb.HermiT.model.AtomicNegationConcept.class - [JAR]

├─ org.semanticweb.HermiT.model.AtomicNegationDataRange.class - [JAR]

├─ org.semanticweb.HermiT.model.AtomicRole.class - [JAR]

├─ org.semanticweb.HermiT.model.Concept.class - [JAR]

├─ org.semanticweb.HermiT.model.Constant.class - [JAR]

├─ org.semanticweb.HermiT.model.ConstantEnumeration.class - [JAR]

├─ org.semanticweb.HermiT.model.DLClause.class - [JAR]

├─ org.semanticweb.HermiT.model.DLOntology.class - [JAR]

├─ org.semanticweb.HermiT.model.DLPredicate.class - [JAR]

├─ org.semanticweb.HermiT.model.DataRange.class - [JAR]

├─ org.semanticweb.HermiT.model.DatatypeRestriction.class - [JAR]

├─ org.semanticweb.HermiT.model.DescriptionGraph.class - [JAR]

├─ org.semanticweb.HermiT.model.Equality.class - [JAR]

├─ org.semanticweb.HermiT.model.ExistentialConcept.class - [JAR]

├─ org.semanticweb.HermiT.model.ExistsDescriptionGraph.class - [JAR]

├─ org.semanticweb.HermiT.model.Individual.class - [JAR]

├─ org.semanticweb.HermiT.model.Inequality.class - [JAR]

├─ org.semanticweb.HermiT.model.InternalDatatype.class - [JAR]

├─ org.semanticweb.HermiT.model.InterningManager.class - [JAR]

├─ org.semanticweb.HermiT.model.InverseRole.class - [JAR]

├─ org.semanticweb.HermiT.model.LiteralConcept.class - [JAR]

├─ org.semanticweb.HermiT.model.LiteralDataRange.class - [JAR]

├─ org.semanticweb.HermiT.model.NegatedAtomicRole.class - [JAR]

├─ org.semanticweb.HermiT.model.NodeIDLessEqualThan.class - [JAR]

├─ org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual.class - [JAR]

├─ org.semanticweb.HermiT.model.Role.class - [JAR]

├─ org.semanticweb.HermiT.model.Term.class - [JAR]

├─ org.semanticweb.HermiT.model.Variable.class - [JAR]

org.semanticweb.HermiT.datatypes.datetime

├─ org.semanticweb.HermiT.datatypes.datetime.BoundType.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.datetime.DateTime.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.datetime.IntervalType.class - [JAR]

org.semanticweb.HermiT.datalog

├─ org.semanticweb.HermiT.datalog.ConjunctiveQuery.class - [JAR]

├─ org.semanticweb.HermiT.datalog.DatalogEngine.class - [JAR]

├─ org.semanticweb.HermiT.datalog.QueryResultCollector.class - [JAR]

org.semanticweb.HermiT.datatypes

├─ org.semanticweb.HermiT.datatypes.DatatypeHandler.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.DatatypeRegistry.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.MalformedLiteralException.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.UnsupportedFacetException.class - [JAR]

├─ org.semanticweb.HermiT.datatypes.ValueSpaceSubset.class - [JAR]

rationals.utils

├─ rationals.utils.Barrier.class - [JAR]

├─ rationals.utils.MsgQueue.class - [JAR]

org.semanticweb.HermiT.hierarchy

├─ org.semanticweb.HermiT.hierarchy.AtomicConceptElement.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.DeterministicClassification.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.Hierarchy.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.HierarchyNode.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.HierarchySearch.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.InstanceManager.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.QuasiOrderClassification.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles.class - [JAR]

├─ org.semanticweb.HermiT.hierarchy.RoleElementManager.class - [JAR]

org.semanticweb.HermiT

├─ org.semanticweb.HermiT.Configuration.class - [JAR]

├─ org.semanticweb.HermiT.EntailmentChecker.class - [JAR]

├─ org.semanticweb.HermiT.Prefixes.class - [JAR]

├─ org.semanticweb.HermiT.Reasoner.class - [JAR]

├─ org.semanticweb.HermiT.ReasonerFactory.class - [JAR]

org.semanticweb.HermiT.debugger

├─ org.semanticweb.HermiT.debugger.ConsoleTextArea.class - [JAR]

├─ org.semanticweb.HermiT.debugger.Debugger.class - [JAR]

├─ org.semanticweb.HermiT.debugger.DerivationHistory.class - [JAR]

├─ org.semanticweb.HermiT.debugger.DerivationViewer.class - [JAR]

├─ org.semanticweb.HermiT.debugger.Printing.class - [JAR]