org.semanticweb.elk.reasoner.incremental

Class IncrementalChangesInitialization

java.lang.Object

org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>

org.semanticweb.elk.reasoner.ReasonerComputation<ArrayList<Context>,org.semanticweb.elk.reasoner.incremental.ContextInitializationFactory>

org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization

All Implemented Interfaces:

Interrupter

public class IncrementalChangesInitialization
extends ReasonerComputation<ArrayList<Context>,org.semanticweb.elk.reasoner.incremental.ContextInitializationFactory>

Goes through the input class expressions and puts each context's superclass for which there're changes into the ToDo queue

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, "Yevgeny Kazakov"

Field Summary

Fields inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

progressMonitor, todo

Constructor Summary

Constructors

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)

Method Summary

Methods inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

process

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation

finish, getInputProcessorFactory, setInterrupt, start, submit, waitWorkers

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

isInterrupted

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IncrementalChangesInitialization

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