Package org.semanticweb.elk.reasoner.stages

Interface Summary

ReasonerStage	A basic computation unit that can be executed by a reasoner.
ReasonerStageExecutor	An abstract interface for defining how reasoner stages are executed by the reasoner.

Class Summary

AbstractReasonerState	The execution state of the reasoner containing information about which reasoning stages have been completed and holding the results of these reasoning stages, such as the consistency status of the ontology, class, or instance taxonomy.
AbstractStageExecutor	An abstract base class which implements a very simple logic of executing stages: first check the completion flag, if false - first complete all dependencies, and finally execute the stage.
AxiomLoadingStage	A ReasonerStage during which the input ontology is loaded into the reasoner.
ClassSaturationStage	A ReasonerStage which computes saturation for every class of the ontology
ClassTaxonomyState	Stores information about the state of the class taxonomy
IncrementalAdditionInitializationStage
IncrementalAdditionStage	TODO docs
IncrementalClassTaxonomyComputationStage	Incrementally updates the class taxonomy by creating nodes for named classes whose contexts have been either created or modified.
IncrementalCompletionStage	Completes saturation of all contexts which are not saturated at this point.
IncrementalContextCleaningStage
IncrementalDeletionInitializationStage
IncrementalDeletionStage	Reverts inferences
IncrementalInstanceTaxonomyComputationStage	Incrementally updates the instance taxonomy by creating nodes for individuals whose contexts have been either created or modified.
IncrementalOverdeletionPruningStage	Prunes the set of deleted conclusions by re-deriving those having alternative derivations (name taken from the original paper on the DRed algorithm).
IncrementalTaxonomyCleaningStage	Used to clean both class and instance taxonomies (removed nodes which super-nodes or types need to be recomputed)
InstanceTaxonomyState	Stores information about the state of the instance taxonomy
LoggingStageExecutor	A ReasonerStageExecutor which prints log messages about the executed stages.
PropertyHierarchyCompositionComputationStage
PropertyReflexivityComputationStage
ReasonerStageManager	Defines all ReasonerStages used by the reasoner and dependencies between them.
RestartingStageExecutor	A ReasonerStageExecutor which refuses to interrupt: it will restart any interrupted stage.
SimpleStageExecutor	A simple ReasonerStageExecutor.

Exception Summary

ElkInterruptedException

Thrown when the reasoner process has been interrupted