Uses of Interface
org.semanticweb.elk.reasoner.saturation.SaturationState

Packages that use SaturationState

org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.taxonomy

Uses of SaturationState in org.semanticweb.elk.reasoner.consistency

Constructors in org.semanticweb.elk.reasoner.consistency with parameters of type SaturationState

ConsistencyChecking(Collection<IndexedClassEntity> inputEntities, org.semanticweb.elk.reasoner.consistency.ConsistencyChecking.ConsistencyMonitor consistencyMonitor, SaturationState saturationState, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor)
Constructing the object for checking if all given entities are consistent.

ConsistencyChecking(ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, OntologyIndex ontologyIndex, SaturationState saturationState)
Constructing the object for checking if the given ontology is consistent

Uses of SaturationState in org.semanticweb.elk.reasoner.incremental

Constructors in org.semanticweb.elk.reasoner.incremental with parameters of type SaturationState

IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)

Uses of SaturationState in org.semanticweb.elk.reasoner.reduction

Constructors in org.semanticweb.elk.reasoner.reduction with parameters of type SaturationState

TransitiveReductionFactory(SaturationState saturationState, int maxWorkers, TransitiveReductionListener<J> listener)
Creating a new transitive reduction engine for the input ontology index and a listener for executing callback functions.

Uses of SaturationState in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return SaturationState

static SaturationState

SaturationStateFactory.createSaturationState(OntologyIndex ontologyIndex) Creates a new instance of SaturationStateImpl

Constructors in org.semanticweb.elk.reasoner.saturation with parameters of type SaturationState

ClassExpressionSaturation(Collection<I> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState)

ClassExpressionSaturation(Collection<I> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, ClassExpressionSaturationListener<SaturationJob<I>> listener)

ClassExpressionSaturationFactory(SaturationState saturationState, int maxWorkers, ClassExpressionSaturationListener<J> listener)
Creates a new saturation engine using the given saturation state, listener for callback functions, and threshold for the number of unprocessed contexts.

Uses of SaturationState in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules that return SaturationState

SaturationState	RuleApplicationFactory.getSaturationState()
SaturationState	ContextCompletionFactory.getSaturationState()

Constructors in org.semanticweb.elk.reasoner.saturation.rules with parameters of type SaturationState

ContextCleaningFactory(SaturationState saturationState)

ContextCompletionFactory(SaturationState saturationState)

RuleApplicationFactory(SaturationState saturationState)

RuleApplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

RuleDeapplicationFactory(SaturationState saturationState, boolean trackModifiedContexts)

Uses of SaturationState in org.semanticweb.elk.reasoner.taxonomy

Constructors in org.semanticweb.elk.reasoner.taxonomy with parameters of type SaturationState

ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, UpdateableTaxonomy<ElkClass> partialTaxonomy)

ClassTaxonomyComputationFactory(SaturationState saturationState, int maxWorkers)
Create a new class taxonomy engine for the input ontology index.

ClassTaxonomyComputationFactory(SaturationState saturationState, int maxWorkers, UpdateableTaxonomy<ElkClass> partialTaxonomy)
Create a shared engine for the input ontology index and a partially pre-computed taxonomy object.

InstanceTaxonomyComputation(Collection<IndexedIndividual> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> partialTaxonomy)

InstanceTaxonomyComputationFactory(SaturationState saturationState, int maxWorkers, UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> partialTaxonomy)
Create a shared engine for the input ontology index and a partially pre-computed taxonomy object.