Uses of Interface
org.semanticweb.elk.reasoner.stages.ReasonerStage

Packages that use ReasonerStage

Package	Description
org.semanticweb.elk.reasoner.stages

Uses of ReasonerStage in org.semanticweb.elk.reasoner.stages

Classes in org.semanticweb.elk.reasoner.stages that implement ReasonerStage

Modifier and Type	Class and Description
class	AxiomLoadingStage A ReasonerStage during which the input ontology is loaded into the reasoner.
class	ClassSaturationStage A ReasonerStage which computes saturation for every class of the ontology
class	IncrementalAdditionInitializationStage
class	IncrementalAdditionStage TODO docs
class	IncrementalClassTaxonomyComputationStage Incrementally updates the class taxonomy by creating nodes for named classes whose contexts have been either created or modified.
class	IncrementalCompletionStage Completes saturation of all contexts which are not saturated at this point.
class	IncrementalContextCleaningStage
class	IncrementalDeletionInitializationStage
class	IncrementalDeletionStage Reverts inferences
class	IncrementalInstanceTaxonomyComputationStage Incrementally updates the instance taxonomy by creating nodes for individuals whose contexts have been either created or modified.
class	IncrementalOverdeletionPruningStage Prunes the set of deleted conclusions by re-deriving those having alternative derivations (name taken from the original paper on the DRed algorithm).
class	IncrementalTaxonomyCleaningStage Used to clean both class and instance taxonomies (removed nodes which super-nodes or types need to be recomputed)
class	PropertyHierarchyCompositionComputationStage
class	PropertyReflexivityComputationStage

Methods in org.semanticweb.elk.reasoner.stages that return types with arguments of type ReasonerStage

Modifier and Type	Method and Description
Iterable<? extends ReasonerStage>	ReasonerStage.getPreStages()

Methods in org.semanticweb.elk.reasoner.stages with parameters of type ReasonerStage

Modifier and Type	Method and Description
void	RestartingStageExecutor.complete(ReasonerStage stage)
void	AbstractStageExecutor.complete(ReasonerStage stage)
void	ReasonerStageExecutor.complete(ReasonerStage stage) Makes sure that the given stage is completed; it might not necessarily execute this stage if the results are already computed
protected void	AbstractReasonerState.complete(ReasonerStage stage)
void	SimpleStageExecutor.execute(ReasonerStage stage)
void	LoggingStageExecutor.execute(ReasonerStage stage)
protected abstract void	AbstractStageExecutor.execute(ReasonerStage stage)