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

Packages that use AbstractReasonerState

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

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

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)