Hierarchy For Package org.semanticweb.elk.reasoner.stages

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.elk.reasoner.stages.ClassTaxonomyState
  • org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer
  • org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState
  • org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer
  • org.semanticweb.elk.reasoner.stages.ReasonerStageManager
  • org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter (implements org.semanticweb.elk.util.concurrent.computation.Interrupter)
    • org.semanticweb.elk.reasoner.stages.AbstractReasonerState
    • 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
    • org.semanticweb.elk.reasoner.stages.AxiomLoadingStage
    • org.semanticweb.elk.reasoner.stages.ClassSaturationStage
    • 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.stages.IncrementalTaxonomyCleaningStage
    • org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage
    • org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.semanticweb.elk.owl.exceptions.ElkException
        • org.semanticweb.elk.reasoner.stages.ElkInterruptedException

Interface Hierarchy

• org.semanticweb.elk.util.concurrent.computation.Interrupter
  • org.semanticweb.elk.reasoner.stages.ReasonerStage
  • org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor