All Classes

AbstractAxiomLoader AbstractConclusion AbstractElkAxiomIndexerVisitor AbstractIndexedClassEntityVisitor AbstractIndexObjectConverter AbstractReasonerState AbstractStageExecutor AnonymousNode AxiomLoader AxiomLoadingStage BackwardDecompositionRuleApplicationVisitor BackwardLink BasicCompositionRuleApplicationVisitor BasicSaturationStateWriter ChainableRule ChangeIndexingProcessor ClassExpressionNoInputSaturation ClassExpressionSaturation ClassExpressionSaturationFactory ClassExpressionSaturationListener ClassSaturationStage ClassTaxonomyComputation ClassTaxonomyComputationFactory ClassTaxonomyState CombinedConclusionVisitor ComposedAxiomLoader Conclusion ConclusionApplicationVisitor ConclusionCounter ConclusionDeapplicationVisitor ConclusionDeletionVisitor ConclusionInsertionVisitor ConclusionOccurranceCheckingVisitor ConclusionSourceUnsaturationVisitor ConclusionStatistics ConclusionTimer ConclusionVisitor ConcurrentClassTaxonomy ConcurrentInstanceTaxonomy ConsistencyChecking Context ContextCleaningFactory ContextCompletionFactory ContextCreationListener ContextImpl ContextModificationListener ContextStatistics Contradiction Contradiction.ContradictionBackwardLinkRule CountingConclusionVisitor DecompositionRuleApplicationCounter DecompositionRuleApplicationCounterVisitor DecompositionRuleApplicationTimer DecompositionRuleApplicationTimerVisitor DecompositionRuleApplicationVisitor DelegatingElkAxiomVisitor DifferentialIndex DirectIndex DirectIndex.ContextRootInitializationRule DisjointnessAxiom DummyClassExpressionSaturationListener DummyProgressMonitor ElkAxiomChange ElkAxiomIndexer ElkAxiomIndexingVisitor ElkFreshEntitiesException ElkInconsistentOntologyException ElkIndexingException ElkIndexingUnsupportedException ElkInterruptedException ElkLoadingException ElkUnexpectedIndexingException ElkUnsupportedReasoningTaskException EmptyAxiomLoader ExtendedSaturationStateWriter ForwardDecompositionRuleApplicationVisitor ForwardLink ForwardLink.ThisBackwardLinkRule FreshInstanceNode FreshNode FreshTaxonomyNode FreshTypeNode IncrementalAdditionInitializationStage IncrementalAdditionStage IncrementalChangesInitialization IncrementalClassTaxonomyComputationStage IncrementalCompletionStage IncrementalContextCleaningStage IncrementalDeletionInitializationStage IncrementalDeletionStage IncrementalInstanceTaxonomyComputationStage IncrementalOverdeletionPruningStage IncrementalProcessingStatistics IncrementalStages IncrementalTaxonomyCleaningStage IndexedAxiom IndexedAxiomEntry IndexedAxiomFilter IndexedAxiomVisitor IndexedBinaryPropertyChain IndexedBinaryPropertyChainEntry IndexedBinaryPropertyChainVisitor IndexedClass IndexedClass.OwlThingContextInitializationRule IndexedClassEntity IndexedClassEntityVisitor IndexedClassEntry IndexedClassExpression IndexedClassExpressionEntry IndexedClassExpressionFilter IndexedClassExpressionVisitor IndexedClassVisitor IndexedDataHasValue IndexedDataHasValueEntry IndexedDataHasValueVisitor IndexedDisjointnessAxiom IndexedDisjointnessAxiom.ThisCompositionRule IndexedDisjointnessAxiom.ThisContradictionRule IndexedDisjointnessAxiomEntry IndexedDisjointnessAxiomVisitor IndexedEntryConverter IndexedIndividual IndexedIndividualEntry IndexedIndividualVisitor IndexedObject IndexedObjectCache IndexedObjectComplementOf IndexedObjectComplementOf.ThisCompositionRule IndexedObjectComplementOfEntry IndexedObjectComplementOfVisitor IndexedObjectEntry IndexedObjectFilter IndexedObjectIntersectionOf IndexedObjectIntersectionOf.ThisCompositionRule IndexedObjectIntersectionOfEntry IndexedObjectIntersectionOfVisitor IndexedObjectProperty IndexedObjectPropertyEntry IndexedObjectPropertyVisitor IndexedObjectSomeValuesFrom IndexedObjectSomeValuesFrom.ThisCompositionRule IndexedObjectSomeValuesFromEntry IndexedObjectSomeValuesFromVisitor IndexedObjectUnionOf IndexedObjectUnionOf.ThisCompositionRule IndexedObjectUnionOfEntry IndexedObjectUnionOfVisitor IndexedObjectVisitor IndexedPropertyChain IndexedPropertyChainEntry IndexedPropertyChainFilter IndexedPropertyChainVisitor IndexedPropertyChainVisitorEx IndexedSubClassOfAxiom IndexedSubClassOfAxiom.ThisCompositionRule IndexedSubClassOfAxiomEntry IndexedSubClassOfAxiomVisitor IndexObjectConverter IndexObjectConverterFactory IndividualClassTaxonomy IndividualNode InstanceNode InstanceNodeHasher InstanceTaxonomy InstanceTaxonomyComputation InstanceTaxonomyComputationFactory InstanceTaxonomyHasher InstanceTaxonomyState InvalidTaxonomyException LinkRule LoggingStageExecutor MainAxiomIndexerVisitor ModifiableLinkRule ModifiableOntologyIndex NegativeSubsumer Node NodeHasher NonIncrementalChangeCheckingVisitor NonIncrementalChangeListener NumberOfWorkers OntologyIndex OrphanInstanceNode OrphanNode OrphanTypeNode Owl2ParserLoader Owl2StreamLoader PositiveSubsumer PreprocessedConclusionVisitor ProgressMonitor Propagation Propagation.ThisBackwardLinkRule PropertyHierarchyCompositionComputation PropertyHierarchyCompositionComputationFactory PropertyHierarchyCompositionComputationStage PropertyReflexivityComputationStage Reasoner ReasonerComputation ReasonerConfiguration ReasonerFactory ReasonerJob ReasonerStage ReasonerStageExecutor ReasonerStageManager ReflexivePropertyComputation ReflexivePropertyComputationFactory RestartingStageExecutor Rule RuleApplicationCounter RuleApplicationCounterVisitor RuleApplicationFactory RuleApplicationTimer RuleApplicationTimerVisitor RuleApplicationVisitor RuleDeapplicationFactory RuleEngine RuleStatistics SaturatedPropertyChain SaturationJob SaturationState SaturationStateFactory SaturationStatistics SaturationUtils SimpleElkAxiomChange SimpleNode SimpleStageExecutor SingletoneInstanceTaxonomy SingletoneTaxonomy Subsumer Taxonomy TaxonomyCleaning TaxonomyHasher TaxonomyNode TaxonomyNodeHasher TaxonomyNodeUtils TaxonomyNodeVisitor TaxonomyPrinter TimedConclusionVisitor TransitiveReductionFactory TransitiveReductionJob TransitiveReductionListener TransitiveReductionOutput TransitiveReductionOutputEquivalent TransitiveReductionOutputEquivalentDirect TransitiveReductionOutputUnsatisfiable TransitiveReductionOutputVisitor TypeNode TypeNodeHasher UnsupportedFeatureTreatment UpdateableBottomNode UpdateableInstanceNode UpdateableInstanceTaxonomy UpdateableNode UpdateableTaxonomy UpdateableTaxonomyNode UpdateableTypeNode