Uses of Class
org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Packages that use AbstractReasonerState

Package	Description
org.semanticweb.elk.reasoner
org.semanticweb.elk.reasoner.stages

Uses of AbstractReasonerState in org.semanticweb.elk.reasoner

Subclasses of AbstractReasonerState in org.semanticweb.elk.reasoner

Modifier and Type	Class and Description
class	Reasoner The class for querying the results of the reasoning tasks for a given ontology.

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

Constructors in org.semanticweb.elk.reasoner.stages with parameters of type AbstractReasonerState

Constructor and Description
AxiomLoadingStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
ClassSaturationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalAdditionInitializationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalAdditionStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalClassTaxonomyComputationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalCompletionStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalContextCleaningStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalDeletionInitializationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalDeletionStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalInstanceTaxonomyComputationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalOverdeletionPruningStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
IncrementalTaxonomyCleaningStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
PropertyHierarchyCompositionComputationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)
PropertyReflexivityComputationStage(AbstractReasonerState reasoner, org.semanticweb.elk.reasoner.stages.AbstractReasonerStage... preStages)