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 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 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 EntireDoubleSubset EntireFloatSubset Equality ExistentialConcept ExistentialExpansionManager ExistentialExpansionStrategy ExistsDescriptionGraph ExitCommand ExpressionManager ExtensionManager ExtensionTable ExtensionTable.CoreManager ExtensionTable.DependencySetManager ExtensionTable.DeterministicDependencySetManager ExtensionTable.NoCoreManager ExtensionTable.RealCoreManager ExtensionTable.Retrieval ExtensionTable.View ExtensionTableWithFullIndex ExtensionTableWithTupleIndexes FloatDatatypeHandler FloatInterval ForeverCommand Getopt Graph GroundDisjunction GroundDisjunctionHeader GroundDisjunctionHeader.DisjunctIndexWithBacktrackings HelpCommand Hierarchy Hierarchy.HierarchyNodeComparator Hierarchy.HierarchyNodeVisitor Hierarchy.Transformer HierarchyDumperFSS HierarchyDumperFSS.AtomicConceptComparator HierarchyDumperFSS.DataRoleComparator HierarchyDumperFSS.ObjectRoleComparator HierarchyNode 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 LongOpt MalformedLiteralException 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 OWLAxioms.DisjunctiveRule OWLAxiomsExpressivity OWLClausification OWLClausification.DataRangeConverter OWLClausification.FactClausifier OWLClausification.NormalizedAxiomClausifier OWLClausification.NormalizedDataRangeAxiomClausifier OWLClausification.NormalizedRuleClausifier 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.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