Hierarchy For All Packages

Package Hierarchies:

org.semanticweb.elk.loading, org.semanticweb.elk.reasoner, org.semanticweb.elk.reasoner.config, org.semanticweb.elk.reasoner.consistency, org.semanticweb.elk.reasoner.incremental, org.semanticweb.elk.reasoner.indexing, org.semanticweb.elk.reasoner.indexing.entries, org.semanticweb.elk.reasoner.indexing.hierarchy, org.semanticweb.elk.reasoner.indexing.visitors, org.semanticweb.elk.reasoner.reduction, org.semanticweb.elk.reasoner.saturation, org.semanticweb.elk.reasoner.saturation.conclusions, org.semanticweb.elk.reasoner.saturation.context, org.semanticweb.elk.reasoner.saturation.properties, org.semanticweb.elk.reasoner.saturation.rules, org.semanticweb.elk.reasoner.stages, org.semanticweb.elk.reasoner.taxonomy, org.semanticweb.elk.reasoner.taxonomy.hashing, org.semanticweb.elk.reasoner.taxonomy.model

Class Hierarchy

• java.lang.Object
  • org.semanticweb.elk.loading.AbstractAxiomLoader (implements org.semanticweb.elk.loading.AxiomLoader)
    • org.semanticweb.elk.loading.EmptyAxiomLoader (implements org.semanticweb.elk.loading.AxiomLoader)
    • org.semanticweb.elk.loading.Owl2ParserLoader (implements org.semanticweb.elk.loading.AxiomLoader)
      • org.semanticweb.elk.loading.Owl2StreamLoader (implements org.semanticweb.elk.loading.AxiomLoader)
  • org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction
    • org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom
    • org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink
    • org.semanticweb.elk.reasoner.saturation.conclusions.Propagation
  • org.semanticweb.elk.owl.AbstractElkAxiomVisitor<O> (implements org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor (implements org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
      • org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor (implements org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor)
  • org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor<O> (implements org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter (implements org.semanticweb.elk.owl.visitors.ElkClassExpressionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkIndividualVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSubObjectPropertyExpressionVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter
  • org.semanticweb.elk.reasoner.stages.AbstractReasonerState
    • org.semanticweb.elk.reasoner.Reasoner
  • org.semanticweb.elk.reasoner.stages.AxiomLoadingStage
  • org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor
  • org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
  • org.semanticweb.elk.config.BaseConfiguration
    • org.semanticweb.elk.reasoner.config.ReasonerConfiguration
  • org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ChangeIndexingProcessor (implements org.semanticweb.elk.owl.visitors.ElkAxiomProcessor)
  • org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory<J> (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.Engine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>)
  • org.semanticweb.elk.reasoner.stages.ClassSaturationStage
  • org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.Engine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>)
  • org.semanticweb.elk.reasoner.stages.ClassTaxonomyState
  • org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer
  • org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.loading.ComposedAxiomLoader (implements org.semanticweb.elk.loading.AxiomLoader)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics
  • org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer
  • org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy (implements org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy<T>)
  • org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode (implements org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode<T>)
  • org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
    • org.semanticweb.elk.reasoner.ReasonerComputation<I,F>
      • org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation
      • org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation<I>
      • org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation
      • org.semanticweb.elk.reasoner.consistency.ConsistencyChecking
      • org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization
      • org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation
      • org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation
      • org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation
      • org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning
  • org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy (implements org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy)
  • org.semanticweb.elk.reasoner.saturation.ContextImpl (implements org.semanticweb.elk.reasoner.saturation.context.Context)
  • org.semanticweb.elk.reasoner.saturation.context.ContextStatistics
  • org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer
  • org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor (implements org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor (implements org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor)
  • org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex (implements org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex
  • org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener<J> (implements org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener<J>)
  • org.semanticweb.elk.reasoner.DummyProgressMonitor (implements org.semanticweb.elk.reasoner.ProgressMonitor)
  • org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor
  • org.semanticweb.elk.reasoner.taxonomy.model.FreshNode<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.Node<T>)
    • org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode<T,I>)
    • org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode<T>)
    • org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>)
  • org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage
  • org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage
  • org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage
  • org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage
  • org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage
  • org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage
  • org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage
  • org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage
  • org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage
  • org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics
  • org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage
  • org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter<T> (implements org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression (implements java.lang.Comparable<T>)
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity
        • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass
        • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain (implements java.lang.Comparable<T>)
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain
      • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty
  • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache (implements org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter)
  • org.semanticweb.elk.reasoner.taxonomy.IndividualNode (implements org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode<T,I>)
  • org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher (implements org.semanticweb.elk.util.hashing.Hasher<T>)
  • org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.Engine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>)
  • org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher
  • org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState
  • org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer
  • org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<T> (implements org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule (implements org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E>)
    • org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule (implements org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E>)
  • org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher (implements org.semanticweb.elk.util.hashing.Hasher<T>)
  • org.semanticweb.elk.reasoner.config.NumberOfWorkers
  • org.semanticweb.elk.reasoner.taxonomy.OrphanNode<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode<T>)
    • org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode<T,I>)
    • org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>)
  • org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor<T> (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage
  • org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage
  • org.semanticweb.elk.reasoner.ReasonerFactory
  • org.semanticweb.elk.reasoner.ReasonerJob<I,O>
    • org.semanticweb.elk.reasoner.saturation.SaturationJob<I>
    • org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob<R>
  • org.semanticweb.elk.reasoner.stages.ReasonerStageManager
  • org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory
    • org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory
    • org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory
      • org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>, org.semanticweb.elk.reasoner.saturation.rules.RuleEngine)
    • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine
    • org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine
      • org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.CleaningEngine
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer
  • org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor (implements org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor)
  • org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics
  • org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain
  • org.semanticweb.elk.reasoner.saturation.SaturationStateFactory
  • org.semanticweb.elk.reasoner.saturation.SaturationStatistics
  • org.semanticweb.elk.reasoner.saturation.SaturationUtils
  • org.semanticweb.elk.loading.SimpleElkAxiomChange (implements org.semanticweb.elk.loading.ElkAxiomChange)
  • org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter (implements org.semanticweb.elk.util.concurrent.computation.Interrupter)
    • org.semanticweb.elk.reasoner.stages.AbstractStageExecutor (implements org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor)
      • org.semanticweb.elk.reasoner.stages.LoggingStageExecutor
      • org.semanticweb.elk.reasoner.stages.SimpleStageExecutor
    • org.semanticweb.elk.reasoner.stages.RestartingStageExecutor (implements org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor)
  • org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.Node<T>)
    • org.semanticweb.elk.reasoner.taxonomy.model.AnonymousNode<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.Node<T>)
  • org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy<T,N> (implements org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy<T>)
    • org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy<T,I,N> (implements org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy<T,I>)
  • org.semanticweb.elk.util.collections.entryset.StrongKeyEntry<T,K> (implements org.semanticweb.elk.util.collections.entryset.KeyEntry<T,K>)
    • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectEntry<T,K>
      • org.semanticweb.elk.reasoner.indexing.entries.IndexedAxiomEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry<T,K>
      • org.semanticweb.elk.reasoner.indexing.entries.IndexedClassExpressionEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectComplementOfEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectUnionOfEntry<T,K>
      • org.semanticweb.elk.reasoner.indexing.entries.IndexedPropertyChainEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry<T,K>
        • org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry<T,K>
  • org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer (implements org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion)
    • org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer
    • org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer
  • org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher
  • org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher (implements org.semanticweb.elk.util.hashing.Hasher<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils
  • org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.semanticweb.elk.owl.exceptions.ElkException
        • org.semanticweb.elk.reasoner.ElkFreshEntitiesException
        • org.semanticweb.elk.reasoner.ElkInconsistentOntologyException
        • org.semanticweb.elk.reasoner.stages.ElkInterruptedException
        • org.semanticweb.elk.loading.ElkLoadingException
      • java.lang.RuntimeException
        • org.semanticweb.elk.owl.exceptions.ElkRuntimeException
          • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException
            • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException
            • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException
        • org.semanticweb.elk.reasoner.taxonomy.InvalidTaxonomyException
        • java.lang.UnsupportedOperationException
          • org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException
  • org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor (implements org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>)
  • org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory<R,J> (implements org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory<I,P>)
  • org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.Engine (implements org.semanticweb.elk.util.concurrent.computation.InputProcessor<J>)
  • org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput<R>
    • org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent<R>
      • org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect<R>
    • org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable<R>
  • org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher (implements org.semanticweb.elk.util.hashing.Hasher<T>)

Interface Hierarchy

• org.semanticweb.elk.loading.AxiomLoader
• org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter
  • org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter
• org.semanticweb.elk.util.collections.chains.Chainable<T>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion
• org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor<R>
• org.semanticweb.elk.reasoner.saturation.context.Context
• org.semanticweb.elk.reasoner.saturation.ContextCreationListener
• org.semanticweb.elk.reasoner.saturation.ContextModificationListener
• org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor
• org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.loading.ElkAxiomChange
• org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
• org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer, org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O>)
  • org.semanticweb.elk.owl.visitors.ElkAxiomVisitor<O> (also extends org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionVisitor<O>, org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor<O>, org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor (also extends org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
      • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
      • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitorEx<O,P>
• org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor<O>
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor<O>)
    • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter)
  • org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor<O>, org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor<O>)
• org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverterFactory
• org.semanticweb.elk.util.concurrent.computation.InputProcessorListenerNotifyFinishedJob<J>
  • org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener<J>
  • org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener<J>
• org.semanticweb.elk.util.concurrent.computation.Interrupter
  • org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor
• org.semanticweb.elk.util.collections.chains.Link<T>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
  • org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.Rule<E>)
    • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
  • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.util.collections.chains.ModifiableLink<T>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>)
  • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>)
• org.semanticweb.elk.reasoner.taxonomy.model.Node<T>
  • org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode<T,I>
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode<T>
    • org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>
      • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T>)
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode<T>
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode<T>)
      • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>)
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode<T>
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode<T>
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode<T,I>)
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode<T>)
      • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>)
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T>)
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode<T>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode<T>)
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>)
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.TypeNode<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode<T>)
• org.semanticweb.elk.reasoner.incremental.NonIncrementalChangeListener<T>
• org.semanticweb.elk.reasoner.indexing.OntologyIndex
  • org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex
• org.semanticweb.elk.reasoner.ProgressMonitor
• org.semanticweb.elk.reasoner.stages.ReasonerStage
• org.semanticweb.elk.reasoner.saturation.rules.Rule<E>
  • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
  • org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.Link<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ChainableRule<E> (also extends org.semanticweb.elk.util.collections.chains.Chainable<T>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
    • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
  • org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.LinkRule<E>, org.semanticweb.elk.util.collections.chains.ModifiableLink<T>)
• org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor
• org.semanticweb.elk.reasoner.saturation.rules.RuleEngine
• org.semanticweb.elk.reasoner.saturation.SaturationState
• org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy<T>
  • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
  • org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy<T,I>
    • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy<T>)
      • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy<T>)
    • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
  • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy<T>
    • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
    • org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy<T,I>)
      • org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
• org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor<T>
• org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor<R>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.semanticweb.elk.reasoner.incremental.IncrementalStages
    • org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment