Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
org.semanticweb.HermiT
,
org.semanticweb.HermiT.blocking
,
org.semanticweb.HermiT.cli
,
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.doublenum
,
org.semanticweb.HermiT.datatypes.floatnum
,
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.examples
,
org.semanticweb.HermiT.existentials
,
org.semanticweb.HermiT.graph
,
org.semanticweb.HermiT.hierarchy
,
org.semanticweb.HermiT.model
,
org.semanticweb.HermiT.monitor
,
org.semanticweb.HermiT.structural
,
org.semanticweb.HermiT.tableau
Class Hierarchy
java.lang.Object
org.semanticweb.HermiT.debugger.commands.
AbstractCommand
(implements org.semanticweb.HermiT.debugger.commands.
DebuggerCommand
)
org.semanticweb.HermiT.debugger.commands.
ActiveNodesCommand
org.semanticweb.HermiT.debugger.commands.
AgainCommand
org.semanticweb.HermiT.debugger.commands.
BreakpointTimeCommand
org.semanticweb.HermiT.debugger.commands.
ClearCommand
org.semanticweb.HermiT.debugger.commands.
ContinueCommand
org.semanticweb.HermiT.debugger.commands.
DerivationTreeCommand
org.semanticweb.HermiT.debugger.commands.
ExitCommand
org.semanticweb.HermiT.debugger.commands.
ForeverCommand
org.semanticweb.HermiT.debugger.commands.
HelpCommand
org.semanticweb.HermiT.debugger.commands.
HistoryCommand
org.semanticweb.HermiT.debugger.commands.
IsAncestorOfCommand
org.semanticweb.HermiT.debugger.commands.
ModelStatsCommand
org.semanticweb.HermiT.debugger.commands.
NodesForCommand
org.semanticweb.HermiT.debugger.commands.
OriginStatsCommand
org.semanticweb.HermiT.debugger.commands.
QueryCommand
org.semanticweb.HermiT.debugger.commands.
ReuseNodeForCommand
org.semanticweb.HermiT.debugger.commands.
ShowDescriptionGraphCommand
org.semanticweb.HermiT.debugger.commands.
ShowDLClausesCommand
org.semanticweb.HermiT.debugger.commands.
ShowExistsCommand
org.semanticweb.HermiT.debugger.commands.
ShowModelCommand
org.semanticweb.HermiT.debugger.commands.
ShowNodeCommand
org.semanticweb.HermiT.debugger.commands.
ShowSubtreeCommand
org.semanticweb.HermiT.debugger.commands.
SingleStepCommand
org.semanticweb.HermiT.debugger.commands.
UnprocessedDisjunctionsCommand
org.semanticweb.HermiT.debugger.commands.
WaitForCommand
(implements org.semanticweb.HermiT.debugger.commands.
DebuggerCommand
)
javax.swing.text.AbstractDocument (implements javax.swing.text.Document, java.io.Serializable)
javax.swing.text.PlainDocument
org.semanticweb.HermiT.debugger.
ConsoleTextArea.ConsoleDocument
org.semanticweb.HermiT.existentials.
AbstractExpansionStrategy
(implements org.semanticweb.HermiT.existentials.
ExistentialExpansionStrategy
, java.io.Serializable)
org.semanticweb.HermiT.existentials.
CreationOrderStrategy
(implements java.io.Serializable)
org.semanticweb.HermiT.existentials.
IndividualReuseStrategy
(implements java.io.Serializable)
org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo (implements org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo)
org.semanticweb.HermiT.
Reasoner.ProtegeReasonerFactory
org.semanticweb.HermiT.blocking.
AncestorBlocking
(implements org.semanticweb.HermiT.blocking.
BlockingStrategy
, java.io.Serializable)
org.semanticweb.HermiT.model.
AnnotatedEquality
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.datatypes.anyuri.
AnyURIDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.anyuri.
AnyURIValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.blocking.
AnywhereBlocking
(implements org.semanticweb.HermiT.blocking.
BlockingStrategy
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
AnywhereValidatedBlocking
(implements org.semanticweb.HermiT.blocking.
BlockingStrategy
)
org.semanticweb.HermiT.blocking.
AnywhereValidatedBlocking.ComputeCoreVariables
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
AnywhereValidatedBlocking.ViolationStatistic
(implements java.lang.Comparable<T>)
org.semanticweb.HermiT.model.
Atom
(implements java.io.Serializable)
org.semanticweb.HermiT.hierarchy.
AtomicConceptElement
org.semanticweb.HermiT.datatypes.binarydata.
Base64
org.semanticweb.HermiT.datatypes.binarydata.
BinaryData
org.semanticweb.HermiT.datatypes.binarydata.
BinaryDataDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.binarydata.
BinaryDataLengthInterval
org.semanticweb.HermiT.datatypes.binarydata.
BinaryDataValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.blocking.
BlockingSignature
org.semanticweb.HermiT.blocking.
PairWiseDirectBlockingChecker.PairWiseBlockingSignature
(implements java.io.Serializable)
org.semanticweb.HermiT.blocking.
SingleDirectBlockingChecker.SingleBlockingSignature
(implements java.io.Serializable)
org.semanticweb.HermiT.blocking.
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature
org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature
org.semanticweb.HermiT.blocking.
BlockingSignatureCache
(implements java.io.Serializable)
org.semanticweb.HermiT.blocking.
BlockingValidator
org.semanticweb.HermiT.blocking.
BlockingValidator.DLClauseInfo
org.semanticweb.HermiT.blocking.
BlockingValidator.MirroredYConsequenceAtom
(implements org.semanticweb.HermiT.blocking.
BlockingValidator.ConsequenceAtom
)
org.semanticweb.HermiT.blocking.
BlockingValidator.SimpleConsequenceAtom
(implements org.semanticweb.HermiT.blocking.
BlockingValidator.ConsequenceAtom
)
org.semanticweb.HermiT.blocking.
BlockingValidator.X2YOrY2XConsequenceAtom
(implements org.semanticweb.HermiT.blocking.
BlockingValidator.ConsequenceAtom
)
org.semanticweb.HermiT.blocking.
BlockingValidator.YConstraint
org.semanticweb.HermiT.datatypes.bool.
BooleanDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.bool.
BooleanDatatypeHandler.BooleanAll
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.bool.
BooleanDatatypeHandler.BooleanNone
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.tableau.
BranchingPoint
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DisjunctionBranchingPoint
org.semanticweb.HermiT.existentials.
IndividualReuseStrategy.IndividualReuseBranchingPoint
org.semanticweb.HermiT.tableau.
NominalIntroductionManager.NominalIntroductionBranchingPoint
org.semanticweb.HermiT.structural.
BuiltInPropertyManager
org.semanticweb.HermiT.structural.
BuiltInPropertyManager.Checker
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
org.semanticweb.HermiT.examples.
ChangeFormat
org.semanticweb.HermiT.tableau.
ClashManager
(implements java.io.Serializable)
org.semanticweb.HermiT.cli.
CommandLine
org.semanticweb.HermiT.cli.
CommandLine.ClassifyAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.DumpClausesAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.DumpPrefixesAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.EntailsAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.EquivalentsAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.SatisfiabilityAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.StatusOutput
org.semanticweb.HermiT.cli.
CommandLine.SubsAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
org.semanticweb.HermiT.cli.
CommandLine.SupersAction
(implements org.semanticweb.HermiT.cli.
CommandLine.Action
)
java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
java.awt.Container
javax.swing.JComponent (implements java.io.Serializable)
javax.swing.JLabel (implements javax.accessibility.Accessible, javax.swing.SwingConstants)
javax.swing.tree.DefaultTreeCellRenderer (implements javax.swing.tree.TreeCellRenderer)
org.semanticweb.HermiT.debugger.
DerivationViewer.DerivationTreeCellRenderer
org.semanticweb.HermiT.debugger.commands.
SubtreeViewer.NodeCellRenderer
javax.swing.text.JTextComponent (implements javax.accessibility.Accessible, javax.swing.Scrollable)
javax.swing.JTextArea
org.semanticweb.HermiT.debugger.
ConsoleTextArea
java.awt.Window (implements javax.accessibility.Accessible)
java.awt.Frame (implements java.awt.MenuContainer)
javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
org.semanticweb.HermiT.debugger.
DerivationViewer
org.semanticweb.HermiT.debugger.commands.
SubtreeViewer
org.semanticweb.HermiT.model.
Concept
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
ExistentialConcept
org.semanticweb.HermiT.model.
AtLeast
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
AtLeastConcept
org.semanticweb.HermiT.model.
AtLeastDataRange
org.semanticweb.HermiT.model.
ExistsDescriptionGraph
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
LiteralConcept
org.semanticweb.HermiT.model.
AtomicConcept
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
AtomicNegationConcept
org.semanticweb.HermiT.
Configuration
(implements java.lang.Cloneable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, java.io.Serializable)
org.semanticweb.HermiT.
Configuration.PrepareReasonerInferences
org.semanticweb.HermiT.monitor.
CountingMonitor.TestRecord
(implements java.lang.Comparable<T>, java.io.Serializable)
org.semanticweb.HermiT.model.
DataRange
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
LiteralDataRange
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
AtomicDataRange
org.semanticweb.HermiT.model.
ConstantEnumeration
org.semanticweb.HermiT.model.
DatatypeRestriction
org.semanticweb.HermiT.model.
InternalDatatype
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
AtomicNegationDataRange
org.semanticweb.HermiT.tableau.
DatatypeManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DatatypeManager.DConjunction
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DatatypeManager.DVariable
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DatatypeManager.SmallestEnumerationFirst
(implements java.util.Comparator<T>, java.io.Serializable)
org.semanticweb.HermiT.datatypes.
DatatypeRegistry
org.semanticweb.HermiT.datatypes.
DatatypeRegistry.AnonymousConstantsDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.
DatatypeRegistry.AnonymousConstantValue
org.semanticweb.HermiT.datatypes.datetime.
DateTime
org.semanticweb.HermiT.datatypes.datetime.
DateTimeDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.datetime.
DateTimeInterval
org.semanticweb.HermiT.datatypes.datetime.
DateTimeValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.debugger.
Debugger.NodeCreationInfo
org.semanticweb.HermiT.tableau.
DependencySetFactory
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DependencySetFactory.IntegerArray
(implements java.io.Serializable)
org.semanticweb.HermiT.debugger.
DerivationHistory.Atom
(implements org.semanticweb.HermiT.debugger.
DerivationHistory.Fact
)
org.semanticweb.HermiT.debugger.
DerivationHistory.AtomKey
(implements java.io.Serializable)
org.semanticweb.HermiT.debugger.
DerivationHistory.Derivation
(implements java.io.Serializable)
org.semanticweb.HermiT.debugger.
DerivationHistory.BaseFact
org.semanticweb.HermiT.debugger.
DerivationHistory.ClashDetection
org.semanticweb.HermiT.debugger.
DerivationHistory.DatatypeChecking
org.semanticweb.HermiT.debugger.
DerivationHistory.DisjunctApplication
org.semanticweb.HermiT.debugger.
DerivationHistory.DLClauseApplication
org.semanticweb.HermiT.debugger.
DerivationHistory.ExistentialExpansion
org.semanticweb.HermiT.debugger.
DerivationHistory.GraphChecking
org.semanticweb.HermiT.debugger.
DerivationHistory.Merging
org.semanticweb.HermiT.debugger.
DerivationHistory.UnknownDatatypeRestrictionDetection
org.semanticweb.HermiT.debugger.
DerivationHistory.Disjunction
(implements org.semanticweb.HermiT.debugger.
DerivationHistory.Fact
)
org.semanticweb.HermiT.debugger.
DerivationViewer.DerivationTreeTreeModel
(implements java.io.Serializable, javax.swing.tree.TreeModel)
org.semanticweb.HermiT.debugger.
DerivationViewer.TextIcon
(implements javax.swing.Icon, java.io.Serializable)
org.semanticweb.HermiT.model.
DescriptionGraph
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.model.
DescriptionGraph.Edge
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DescriptionGraphManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DescriptionGraphManager.OccurrenceManager
(implements java.io.Serializable)
org.semanticweb.HermiT.hierarchy.
DeterministicClassification
org.semanticweb.HermiT.hierarchy.
DeterministicClassification.DFSIndex
org.semanticweb.HermiT.hierarchy.
DeterministicClassification.GraphNode
<T>
org.semanticweb.HermiT.hierarchy.
DeterministicClassification.TopologicalOrderComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.model.
DLClause
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchIfNotEqual
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BufferSupply
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.CallMatchFinishedOnMonitor
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.CallMatchStartedOnMonitor
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.CopyDependencySet
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.CopyValues
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.DeriveBinaryFact
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.DeriveDisjunction
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.DeriveTernaryFact
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.DeriveUnaryFact
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.DLClauseCompiler
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.GroundDisjunctionHeaderManager
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.HasMoreRetrieval
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.JumpTo
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.NextRetrieval
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.OpenRetrieval
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.SetClash
(implements org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.ValuesBufferManager
org.semanticweb.HermiT.model.
DLOntology
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
DLOntology.AtomicConceptComparator
(implements java.util.Comparator<T>, java.io.Serializable)
org.semanticweb.HermiT.model.
DLOntology.AtomicRoleComparator
(implements java.util.Comparator<T>, java.io.Serializable)
org.semanticweb.HermiT.model.
DLOntology.IndividualComparator
(implements java.util.Comparator<T>, java.io.Serializable)
org.semanticweb.HermiT.datatypes.doublenum.
DoubleDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.doublenum.
DoubleInterval
org.semanticweb.HermiT.datatypes.doublenum.
EmptyDoubleSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.floatnum.
EmptyFloatSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.
EntailmentChecker
(implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
org.semanticweb.HermiT.
EntailmentChecker.AnonymousIndividualForestBuilder
(implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
org.semanticweb.HermiT.
EntailmentChecker.Edge
org.semanticweb.HermiT.examples.
EntailmentChecking
org.semanticweb.HermiT.datatypes.doublenum.
EntireDoubleSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.floatnum.
EntireFloatSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.model.
Equality
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExistentialExpansionManager
(implements java.io.Serializable)
org.semanticweb.HermiT.examples.
Explanations
org.semanticweb.HermiT.structural.
ExpressionManager
org.semanticweb.HermiT.structural.
ExpressionManager.DataRangeComplementNNFVisitor
(implements org.semanticweb.owlapi.model.OWLDataVisitorEx<O>)
org.semanticweb.HermiT.structural.
ExpressionManager.DataRangeNNFVisitor
(implements org.semanticweb.owlapi.model.OWLDataVisitorEx<O>)
org.semanticweb.HermiT.structural.
ExpressionManager.DataRangeSimplificationVisitor
(implements org.semanticweb.owlapi.model.OWLDataVisitorEx<O>)
org.semanticweb.HermiT.structural.
ExpressionManager.DescriptionComplementNNFVisitor
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
org.semanticweb.HermiT.structural.
ExpressionManager.DescriptionNNFVisitor
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
org.semanticweb.HermiT.structural.
ExpressionManager.DescriptionSimplificationVisitor
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
org.semanticweb.HermiT.tableau.
ExtensionManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTable
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTableWithFullIndex
org.semanticweb.HermiT.tableau.
ExtensionTableWithTupleIndexes
org.semanticweb.HermiT.tableau.
ExtensionTable.DeterministicDependencySetManager
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.DependencySetManager
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTable.LastObjectDependencySetManager
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.DependencySetManager
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTable.NoCoreManager
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.CoreManager
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTable.RealCoreManager
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.CoreManager
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTable.UnindexedRetrieval
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.Retrieval
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTableWithFullIndex.IndexedRetrieval
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.Retrieval
, java.io.Serializable)
org.semanticweb.HermiT.datatypes.floatnum.
FloatDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.floatnum.
FloatInterval
org.semanticweb.HermiT.graph.
Graph
<T> (implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
GroundDisjunction
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
GroundDisjunctionHeader
org.semanticweb.HermiT.tableau.
GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
org.semanticweb.HermiT.examples.
HermiTConfigurations
org.semanticweb.HermiT.examples.
HermiTDebugger
org.semanticweb.HermiT.hierarchy.
Hierarchy
<E>
org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyDepthFinder
<T> (implements org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyNodeVisitor
<E>)
org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyNodeComparator
<E> (implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyDumperFSS
org.semanticweb.HermiT.hierarchy.
HierarchyDumperFSS.AtomicConceptComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyDumperFSS.DataRoleComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyDumperFSS.ObjectRoleComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyNode
<E>
org.semanticweb.HermiT.examples.
HierarchyPrettyPrinting
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS.AtomicConceptComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS.AtomicConceptPrinter
(implements org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyNodeVisitor
<E>)
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS.IdentityTransformer
<E> (implements org.semanticweb.HermiT.hierarchy.
Hierarchy.Transformer
<E,T>)
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS.RoleComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
HierarchyPrinterFSS.RolePrinter
(implements org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyNodeVisitor
<E>)
org.semanticweb.HermiT.hierarchy.
HierarchySearch
org.semanticweb.HermiT.hierarchy.
HierarchySearch.SearchCache
<U>
org.semanticweb.HermiT.tableau.
HyperresolutionManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
HyperresolutionManager.BodyAtomsSwapper
org.semanticweb.HermiT.tableau.
HyperresolutionManager.CompiledDLClauseInfo
org.semanticweb.HermiT.tableau.
HyperresolutionManager.DLClauseBodyKey
org.semanticweb.HermiT.existentials.
IndividualReuseStrategy.NodeBranchingPointPair
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
Inequality
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.hierarchy.
InstanceManager
org.semanticweb.HermiT.hierarchy.
InstanceManager.DFSTypeCounter
(implements org.semanticweb.HermiT.hierarchy.
InstanceManager.DFSVisitor
<E>)
org.semanticweb.HermiT.model.
InterningManager
<E>
org.semanticweb.HermiT.tableau.
InterruptFlag
(implements java.io.Serializable)
org.semanticweb.HermiT.examples.
MaterialiseInferences
org.semanticweb.HermiT.tableau.
MergingManager
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
NegatedAtomicRole
org.semanticweb.HermiT.tableau.
Node
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
NodeIDLessEqualThan
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.model.
NodeIDsAscendingOrEqual
(implements org.semanticweb.HermiT.model.
DLPredicate
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
NominalIntroductionManager
(implements java.io.Serializable)
org.semanticweb.HermiT.datatypes.doublenum.
NoNaNDoubleSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.floatnum.
NoNaNFloatSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
java.lang.Number (implements java.io.Serializable)
org.semanticweb.HermiT.datatypes.owlreal.
BigRational
(implements java.lang.Comparable<T>)
org.semanticweb.HermiT.datatypes.owlreal.
MinusInfinity
org.semanticweb.HermiT.datatypes.owlreal.
PlusInfinity
org.semanticweb.HermiT.datatypes.owlreal.
NumberInterval
org.semanticweb.HermiT.datatypes.owlreal.
Numbers
org.semanticweb.HermiT.structural.
ObjectPropertyInclusionManager
org.semanticweb.HermiT.debugger.commands.
OriginStatsCommand.OriginInfo
org.semanticweb.HermiT.debugger.commands.
OriginStatsCommand.OriginInfoComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.structural.
OWLAxioms
org.semanticweb.HermiT.structural.
OWLAxioms.ComplexObjectPropertyInclusion
org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter (implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
org.semanticweb.HermiT.structural.
BuiltInPropertyManager.Checker.FactVisitor
org.semanticweb.HermiT.structural.
OWLAxiomsExpressivity
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
org.semanticweb.HermiT.structural.
OWLClausification.FactClausifier
org.semanticweb.HermiT.structural.
ReducedABoxOnlyClausification
org.semanticweb.HermiT.structural.
OWLClausification
org.semanticweb.HermiT.structural.
OWLClausification.DataRangeConverter
(implements org.semanticweb.owlapi.model.OWLDataVisitorEx<O>)
org.semanticweb.HermiT.structural.
OWLClausification.NormalizedAxiomClausifier
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
org.semanticweb.HermiT.structural.
OWLClausification.NormalizedDataRangeAxiomClausifier
(implements org.semanticweb.owlapi.model.OWLDataVisitor)
org.semanticweb.HermiT.structural.
OWLClausification.NormalizedRuleClausifier
(implements org.semanticweb.owlapi.model.SWRLObjectVisitor)
org.semanticweb.HermiT.structural.
OWLNormalization
org.semanticweb.HermiT.structural.
OWLNormalization.AxiomVisitor
(implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
org.semanticweb.HermiT.structural.
OWLNormalization.DataRangeNormalizationVisitor
(implements org.semanticweb.owlapi.model.OWLDataVisitorEx<O>)
org.semanticweb.HermiT.structural.
OWLNormalization.NormalizationVisitor
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
org.semanticweb.HermiT.structural.
OWLNormalization.PLVisitor
(implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
org.semanticweb.HermiT.structural.
OWLNormalization.Rule2FactConverter
(implements org.semanticweb.owlapi.model.SWRLObjectVisitor)
org.semanticweb.HermiT.structural.
OWLNormalization.RuleNormalizer
(implements org.semanticweb.owlapi.model.SWRLObjectVisitor)
org.semanticweb.HermiT.datatypes.owlreal.
OWLRealDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.owlreal.
OWLRealValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.blocking.
PairWiseDirectBlockingChecker
(implements org.semanticweb.HermiT.blocking.
DirectBlockingChecker
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
PairWiseDirectBlockingChecker.PairWiseBlockingObject
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
PermanentDependencySet
(implements org.semanticweb.HermiT.tableau.
DependencySet
, java.io.Serializable)
org.semanticweb.HermiT.
Prefixes
(implements java.io.Serializable)
org.semanticweb.HermiT.
Prefixes.ImmutablePrefixes
org.semanticweb.HermiT.debugger.
Printing
org.semanticweb.HermiT.debugger.
Printing.ConceptComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.debugger.
Printing.DataRangeComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.debugger.
Printing.FactComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.debugger.
Printing.NodeComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.debugger.
Printing.RoleComparator
(implements java.util.Comparator<T>)
org.semanticweb.HermiT.hierarchy.
QuasiOrderClassification
org.semanticweb.HermiT.hierarchy.
QuasiOrderClassificationForRoles
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralDataValue
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralLengthInterval
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralLengthValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralPatternValueSpaceSubset
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
java.io.Reader (implements java.io.Closeable, java.lang.Readable)
org.semanticweb.HermiT.debugger.
ConsoleTextArea.ConsoleReader
org.semanticweb.HermiT.
Reasoner
(implements org.semanticweb.owlapi.reasoner.OWLReasoner)
org.semanticweb.HermiT.
Reasoner.OntologyChangeListener
(implements org.semanticweb.owlapi.model.OWLOntologyChangeListener)
org.semanticweb.HermiT.
Reasoner.ReasonerFactory
(implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory)
org.semanticweb.HermiT.tableau.
ReasoningTaskDescription
java.lang.ref.Reference<T>
java.lang.ref.WeakReference<T>
org.semanticweb.HermiT.model.
InterningManager.Entry
<E>
org.semanticweb.HermiT.model.
Role
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
AtomicRole
(implements org.semanticweb.HermiT.model.
DLPredicate
)
org.semanticweb.HermiT.model.
InverseRole
org.semanticweb.HermiT.hierarchy.
RoleElementManager
org.semanticweb.HermiT.hierarchy.
RoleElementManager.RoleElement
org.semanticweb.HermiT.blocking.
SetFactory
<E> (implements java.io.Serializable)
org.semanticweb.HermiT.blocking.
SetFactory.Entry
<T> (implements java.io.Serializable, java.util.Set<E>)
org.semanticweb.HermiT.blocking.
SetFactory.Entry.EntryIterator
(implements java.util.Iterator<E>)
org.semanticweb.HermiT.blocking.
SingleDirectBlockingChecker
(implements org.semanticweb.HermiT.blocking.
DirectBlockingChecker
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
SingleDirectBlockingChecker.SingleBlockingObject
(implements java.io.Serializable)
org.semanticweb.HermiT.debugger.commands.
SubtreeViewer.DotIcon
(implements javax.swing.Icon)
org.semanticweb.HermiT.debugger.commands.
SubtreeViewer.SubtreeTreeModel
(implements javax.swing.tree.TreeModel)
org.semanticweb.HermiT.tableau.
Tableau
(implements java.io.Serializable)
org.semanticweb.HermiT.monitor.
TableauMonitorAdapter
(implements java.io.Serializable, org.semanticweb.HermiT.monitor.
TableauMonitor
)
org.semanticweb.HermiT.monitor.
CountingMonitor
org.semanticweb.HermiT.monitor.
MemoryConsumptionMonitor
org.semanticweb.HermiT.debugger.
DerivationHistory
org.semanticweb.HermiT.monitor.
Timer
org.semanticweb.HermiT.monitor.
TimerWithPause
org.semanticweb.HermiT.monitor.
TableauMonitorFork
(implements java.io.Serializable, org.semanticweb.HermiT.monitor.
TableauMonitor
)
org.semanticweb.HermiT.monitor.
TableauMonitorForwarder
(implements java.io.Serializable, org.semanticweb.HermiT.monitor.
TableauMonitor
)
org.semanticweb.HermiT.debugger.
Debugger
org.semanticweb.HermiT.model.
Term
(implements java.io.Serializable)
org.semanticweb.HermiT.model.
Constant
org.semanticweb.HermiT.model.
Individual
org.semanticweb.HermiT.model.
Variable
java.lang.Thread (implements java.lang.Runnable)
org.semanticweb.HermiT.tableau.
InterruptFlag.InterruptTimer
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
java.lang.RuntimeException
java.lang.IllegalArgumentException
org.semanticweb.HermiT.cli.
CommandLine.UsageException
org.semanticweb.HermiT.tableau.
InterruptCurrentTaskException
org.semanticweb.HermiT.datatypes.
MalformedLiteralException
org.semanticweb.HermiT.datatypes.
UnsupportedDatatypeException
org.semanticweb.HermiT.datatypes.
UnsupportedFacetException
javax.swing.tree.TreePath (implements java.io.Serializable)
org.semanticweb.HermiT.debugger.commands.
SubtreeViewer.MyTreePath
org.semanticweb.HermiT.tableau.
TupleIndex
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleIndex.TrieNodeManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleIndex.TupleIndexRetrieval
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
ExtensionTableWithTupleIndexes.IndexedRetrieval
(implements org.semanticweb.HermiT.tableau.
ExtensionTable.Retrieval
, java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleTable
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleTable.Page
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleTableFullIndex
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
TupleTableFullIndex.EntryManager
(implements java.io.Serializable)
org.semanticweb.HermiT.tableau.
UnionDependencySet
(implements org.semanticweb.HermiT.tableau.
DependencySet
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
ValidatedPairwiseDirectBlockingChecker
(implements org.semanticweb.HermiT.blocking.
DirectBlockingChecker
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject
(implements org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
)
org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker
(implements org.semanticweb.HermiT.blocking.
DirectBlockingChecker
, java.io.Serializable)
org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject
(implements org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
)
java.io.Writer (implements java.lang.Appendable, java.io.Closeable, java.io.Flushable)
org.semanticweb.HermiT.debugger.
ConsoleTextArea.ConsoleWriter
(implements java.awt.event.ActionListener)
org.semanticweb.HermiT.datatypes.xmlliteral.
XMLLiteral
org.semanticweb.HermiT.datatypes.xmlliteral.
XMLLiteralDatatypeHandler
(implements org.semanticweb.HermiT.datatypes.
DatatypeHandler
)
org.semanticweb.HermiT.datatypes.xmlliteral.
XMLLiteralDatatypeHandler.XMLLiteralAll
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
org.semanticweb.HermiT.datatypes.xmlliteral.
XMLLiteralDatatypeHandler.XMLLiteralNone
(implements org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
)
Interface Hierarchy
org.semanticweb.HermiT.blocking.
BlockingStrategy
org.semanticweb.HermiT.blocking.
BlockingValidator.ConsequenceAtom
org.semanticweb.HermiT.hierarchy.
ClassificationProgressMonitor
org.semanticweb.HermiT.cli.
CommandLine.Action
org.semanticweb.HermiT.
Configuration.WarningMonitor
org.semanticweb.HermiT.datatypes.
DatatypeHandler
org.semanticweb.HermiT.debugger.commands.
DebuggerCommand
org.semanticweb.HermiT.tableau.
DependencySet
org.semanticweb.HermiT.blocking.
DirectBlockingChecker
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.Worker
org.semanticweb.HermiT.tableau.
DLClauseEvaluator.BranchingWorker
org.semanticweb.HermiT.model.
DLPredicate
org.semanticweb.HermiT.existentials.
ExistentialExpansionStrategy
org.semanticweb.HermiT.tableau.
ExtensionTable.CoreManager
org.semanticweb.HermiT.tableau.
ExtensionTable.DependencySetManager
org.semanticweb.HermiT.tableau.
ExtensionTable.Retrieval
org.semanticweb.HermiT.hierarchy.
Hierarchy.HierarchyNodeVisitor
<E>
org.semanticweb.HermiT.hierarchy.
Hierarchy.Transformer
<E,T>
org.semanticweb.HermiT.hierarchy.
HierarchySearch.Relation
<U>
org.semanticweb.HermiT.hierarchy.
HierarchySearch.SearchPredicate
<U>
org.semanticweb.HermiT.hierarchy.
InstanceManager.DFSVisitor
<E>
java.io.Serializable
org.semanticweb.HermiT.debugger.
DerivationHistory.Fact
org.semanticweb.HermiT.monitor.
TableauMonitor
org.semanticweb.HermiT.blocking.
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
org.semanticweb.HermiT.datatypes.
ValueSpaceSubset
Enum Hierarchy
java.lang.Object
java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
org.semanticweb.HermiT.
Configuration.TableauMonitorType
org.semanticweb.HermiT.
Configuration.DirectBlockingType
org.semanticweb.HermiT.
Configuration.BlockingStrategyType
org.semanticweb.HermiT.
Configuration.BlockingSignatureCacheType
org.semanticweb.HermiT.
Configuration.ExistentialStrategyType
org.semanticweb.HermiT.blocking.
BlockingValidator.ArgumentType
org.semanticweb.HermiT.datatypes.binarydata.
BinaryDataType
org.semanticweb.HermiT.datatypes.datetime.
IntervalType
org.semanticweb.HermiT.datatypes.datetime.
BoundType
org.semanticweb.HermiT.datatypes.owlreal.
Numbers.BoundaryDirection
org.semanticweb.HermiT.datatypes.owlreal.
NumberRange
org.semanticweb.HermiT.datatypes.owlreal.
BoundType
org.semanticweb.HermiT.datatypes.rdfplainliteral.
RDFPlainLiteralLengthInterval.LanguageTagMode
org.semanticweb.HermiT.debugger.
Printing.ConceptComparator.ConceptType
org.semanticweb.HermiT.debugger.
Printing.DataRangeComparator.DataRangeType
org.semanticweb.HermiT.debugger.
Debugger.WaitOption
org.semanticweb.HermiT.existentials.
AbstractExpansionStrategy.SatType
org.semanticweb.HermiT.model.
DLClause.ClauseType
org.semanticweb.HermiT.tableau.
ReasoningTaskDescription.StandardTestType
org.semanticweb.HermiT.tableau.
NodeType
org.semanticweb.HermiT.tableau.
Node.NodeState
org.semanticweb.HermiT.tableau.
InterruptFlag.InterruptType
org.semanticweb.HermiT.tableau.
InterruptFlag.TimerState
org.semanticweb.HermiT.tableau.
ExtensionTable.View
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes