View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window org.semanticweb.hermit-1.3.8.4.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
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.anyuri
├─ org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler.class - [JAR]
├─ org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset.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.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]
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]
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.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.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.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.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]
