All Classes
AbstractCommand
AbstractExpansionStrategy
AbstractExpansionStrategy.SatType
ActiveNodesCommand
AgainCommand
AncestorBlocking
AnnotatedEquality
AnyURIDatatypeHandler
AnyURIValueSpaceSubset
AnywhereBlocking
AnywhereValidatedBlocking
AnywhereValidatedBlocking.ComputeCoreVariables
AtLeast
AtLeastConcept
AtLeastDataRange
Atom
AtomicConcept
AtomicConceptElement
AtomicDataRange
AtomicNegationConcept
AtomicNegationDataRange
AtomicRole
Base64
BigRational
BinaryData
BinaryDataDatatypeHandler
BinaryDataLengthInterval
BinaryDataType
BinaryDataValueSpaceSubset
BlockingSignature
BlockingSignatureCache
BlockingStrategy
BlockingValidator
BlockingValidator.ArgumentType
BlockingValidator.ConsequenceAtom
BlockingValidator.DLClauseInfo
BlockingValidator.MirroredYConsequenceAtom
BlockingValidator.SimpleConsequenceAtom
BlockingValidator.X2YOrY2XConsequenceAtom
BlockingValidator.YConstraint
BooleanDatatypeHandler
BooleanDatatypeHandler.BooleanAll
BooleanDatatypeHandler.BooleanNone
BoundType
BoundType
BranchingPoint
BreakpointTimeCommand
BuiltInPropertyManager
ChangeFormat
ClashManager
ClassificationProgressMonitor
ClearCommand
CommandLine
CommandLine.Action
CommandLine.ClassifyAction
CommandLine.DumpClausesAction
CommandLine.DumpPrefixesAction
CommandLine.EntailsAction
CommandLine.EquivalentsAction
CommandLine.SatisfiabilityAction
CommandLine.StatusOutput
CommandLine.SubsAction
CommandLine.SupersAction
CommandLine.UsageException
Concept
Configuration
Configuration.BlockingSignatureCacheType
Configuration.BlockingStrategyType
Configuration.DirectBlockingType
Configuration.ExistentialStrategyType
Configuration.PrepareReasonerInferences
Configuration.TableauMonitorType
Configuration.WarningMonitor
ConsoleTextArea
Constant
ConstantEnumeration
ContinueCommand
CountingMonitor
CountingMonitor.TestRecord
CreationOrderStrategy
DataRange
DatatypeHandler
DatatypeManager
DatatypeManager.DConjunction
DatatypeManager.DVariable
DatatypeManager.SmallestEnumerationFirst
DatatypeRegistry
DatatypeRegistry.AnonymousConstantsDatatypeHandler
DatatypeRegistry.AnonymousConstantValue
DatatypeRestriction
DateTime
DateTimeDatatypeHandler
DateTimeInterval
DateTimeValueSpaceSubset
Debugger
Debugger.NodeCreationInfo
Debugger.WaitOption
DebuggerCommand
DependencySet
DependencySetFactory
DependencySetFactory.IntegerArray
DerivationHistory
DerivationHistory.Atom
DerivationHistory.AtomKey
DerivationHistory.BaseFact
DerivationHistory.ClashDetection
DerivationHistory.DatatypeChecking
DerivationHistory.Derivation
DerivationHistory.DisjunctApplication
DerivationHistory.Disjunction
DerivationHistory.DLClauseApplication
DerivationHistory.ExistentialExpansion
DerivationHistory.Fact
DerivationHistory.GraphChecking
DerivationHistory.Merging
DerivationHistory.UnknownDatatypeRestrictionDetection
DerivationTreeCommand
DerivationViewer
DerivationViewer.DerivationTreeTreeModel
DerivationViewer.TextIcon
DescriptionGraph
DescriptionGraph.Edge
DescriptionGraphManager
DescriptionGraphManager.OccurrenceManager
DeterministicClassification
DeterministicClassification.DFSIndex
DeterministicClassification.GraphNode
DeterministicClassification.TopologicalOrderComparator
DirectBlockingChecker
DisjunctionBranchingPoint
DLClause
DLClause.ClauseType
DLClauseEvaluator
DLClauseEvaluator.BranchIfNotEqual
DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan
DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual
DLClauseEvaluator.BranchingWorker
DLClauseEvaluator.BufferSupply
DLClauseEvaluator.CallMatchFinishedOnMonitor
DLClauseEvaluator.CallMatchStartedOnMonitor
DLClauseEvaluator.CopyDependencySet
DLClauseEvaluator.CopyValues
DLClauseEvaluator.DeriveBinaryFact
DLClauseEvaluator.DeriveDisjunction
DLClauseEvaluator.DeriveTernaryFact
DLClauseEvaluator.DeriveUnaryFact
DLClauseEvaluator.DLClauseCompiler
DLClauseEvaluator.GroundDisjunctionHeaderManager
DLClauseEvaluator.HasMoreRetrieval
DLClauseEvaluator.JumpTo
DLClauseEvaluator.NextRetrieval
DLClauseEvaluator.OpenRetrieval
DLClauseEvaluator.SetClash
DLClauseEvaluator.ValuesBufferManager
DLClauseEvaluator.Worker
DLOntology
DLOntology.AtomicConceptComparator
DLOntology.AtomicRoleComparator
DLOntology.IndividualComparator
DLPredicate
DoubleDatatypeHandler
DoubleInterval
EmptyDoubleSubset
EmptyFloatSubset
EntailmentChecker
EntailmentChecking
EntireDoubleSubset
EntireFloatSubset
Equality
ExistentialConcept
ExistentialExpansionManager
ExistentialExpansionStrategy
ExistsDescriptionGraph
ExitCommand
Explanations
ExpressionManager
ExtensionManager
ExtensionTable
ExtensionTable.CoreManager
ExtensionTable.DependencySetManager
ExtensionTable.DeterministicDependencySetManager
ExtensionTable.NoCoreManager
ExtensionTable.RealCoreManager
ExtensionTable.Retrieval
ExtensionTable.View
ExtensionTableWithFullIndex
ExtensionTableWithTupleIndexes
FloatDatatypeHandler
FloatInterval
ForeverCommand
Graph
GroundDisjunction
GroundDisjunctionHeader
GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
HelpCommand
HermiTConfigurations
HermiTDebugger
Hierarchy
Hierarchy.HierarchyNodeComparator
Hierarchy.HierarchyNodeVisitor
Hierarchy.Transformer
HierarchyDumperFSS
HierarchyDumperFSS.AtomicConceptComparator
HierarchyDumperFSS.DataRoleComparator
HierarchyDumperFSS.ObjectRoleComparator
HierarchyNode
HierarchyPrettyPrinting
HierarchyPrinterFSS
HierarchyPrinterFSS.AtomicConceptComparator
HierarchyPrinterFSS.RoleComparator
HierarchySearch
HierarchySearch.Relation
HierarchySearch.SearchCache
HierarchySearch.SearchPredicate
HistoryCommand
HyperresolutionManager
HyperresolutionManager.BodyAtomsSwapper
HyperresolutionManager.CompiledDLClauseInfo
HyperresolutionManager.DLClauseBodyKey
Individual
IndividualReuseStrategy
IndividualReuseStrategy.NodeBranchingPointPair
Inequality
InstanceManager
InstanceManager.DFSVisitor
InternalDatatype
InterningManager
InterningManager.Entry
InterruptCurrentTaskException
InterruptFlag
InterruptFlag.InterruptType
InterruptFlag.TimerState
IntervalType
InverseRole
IsAncestorOfCommand
LiteralConcept
LiteralDataRange
MalformedLiteralException
MaterialiseInferences
MemoryConsumptionMonitor
MergingManager
MinusInfinity
ModelStatsCommand
NegatedAtomicRole
Node
Node.NodeState
NodeIDLessEqualThan
NodeIDsAscendingOrEqual
NodesForCommand
NodeType
NominalIntroductionManager
NoNaNDoubleSubset
NoNaNFloatSubset
NumberInterval
NumberRange
Numbers
Numbers.BoundaryDirection
ObjectPropertyInclusionManager
OriginStatsCommand
OriginStatsCommand.OriginInfo
OriginStatsCommand.OriginInfoComparator
OWLAxioms
OWLAxioms.ComplexObjectPropertyInclusion
OWLAxiomsExpressivity
OWLClausification
OWLClausification.DataRangeConverter
OWLClausification.FactClausifier
OWLClausification.NormalizedAxiomClausifier
OWLClausification.NormalizedDataRangeAxiomClausifier
OWLNormalization
OWLRealDatatypeHandler
OWLRealValueSpaceSubset
PairWiseDirectBlockingChecker
PairWiseDirectBlockingChecker.PairWiseBlockingSignature
PermanentDependencySet
PlusInfinity
Prefixes
Prefixes.ImmutablePrefixes
Printing
Printing.ConceptComparator
Printing.ConceptComparator.ConceptType
Printing.DataRangeComparator
Printing.DataRangeComparator.DataRangeType
Printing.FactComparator
Printing.NodeComparator
Printing.RoleComparator
QuasiOrderClassification
QuasiOrderClassificationForRoles
QueryCommand
RDFPlainLiteralDatatypeHandler
RDFPlainLiteralDataValue
RDFPlainLiteralLengthInterval
RDFPlainLiteralLengthInterval.LanguageTagMode
RDFPlainLiteralLengthValueSpaceSubset
RDFPlainLiteralPatternValueSpaceSubset
Reasoner
Reasoner.ProtegeReasonerFactory
Reasoner.ReasonerFactory
ReasoningTaskDescription
ReasoningTaskDescription.StandardTestType
ReducedABoxOnlyClausification
ReuseNodeForCommand
Role
RoleElementManager
SetFactory
SetFactory.Entry
ShowDescriptionGraphCommand
ShowDLClausesCommand
ShowExistsCommand
ShowModelCommand
ShowNodeCommand
ShowSubtreeCommand
SingleDirectBlockingChecker
SingleDirectBlockingChecker.SingleBlockingSignature
SingleStepCommand
SubtreeViewer
SubtreeViewer.DotIcon
SubtreeViewer.MyTreePath
SubtreeViewer.NodeCellRenderer
SubtreeViewer.SubtreeTreeModel
Tableau
TableauMonitor
TableauMonitorAdapter
TableauMonitorFork
TableauMonitorForwarder
Term
Timer
TimerWithPause
TupleIndex
TupleIndex.TrieNodeManager
TupleIndex.TupleIndexRetrieval
TupleTable
TupleTable.Page
TupleTableFullIndex
TupleTableFullIndex.EntryManager
UnionDependencySet
UnprocessedDisjunctionsCommand
UnsupportedDatatypeException
UnsupportedFacetException
ValidatedPairwiseDirectBlockingChecker
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature
ValidatedSingleDirectBlockingChecker
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature
ValueSpaceSubset
Variable
WaitForCommand
XMLLiteral
XMLLiteralDatatypeHandler
XMLLiteralDatatypeHandler.XMLLiteralAll
XMLLiteralDatatypeHandler.XMLLiteralNone