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

Packages that use SaturationState

Package	Description
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

Constructor and Description
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

Constructor and Description
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

Constructor and Description
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

Modifier and Type	Method and Description
static SaturationState	SaturationStateFactory.createSaturationState(OntologyIndex ontologyIndex) Creates a new instance of SaturationStateImpl

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

Constructor and Description
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

Modifier and Type	Method and Description
SaturationState	RuleApplicationFactory.getSaturationState()
SaturationState	ContextCompletionFactory.getSaturationState()

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

Constructor and Description
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

Constructor and Description
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.