org.semanticweb.elk.reasoner.saturation
Class ClassExpressionSaturation<I extends IndexedClassExpression>

java.lang.Object
  org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
      org.semanticweb.elk.reasoner.ReasonerComputation<SaturationJob<I>,ClassExpressionSaturationFactory<SaturationJob<I>>>
          org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation<I>

public class ClassExpressionSaturation<I extends IndexedClassExpression>
extends ReasonerComputation<SaturationJob<I>,ClassExpressionSaturationFactory<SaturationJob<I>>>

A ReasonerComputation that computes saturation for the input collection of IndexedClassExpressions

Author:

Yevgeny Kazakov

Field Summary

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

progressMonitor, todo

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

buffer, executor, finishRequested, inputProcessorFactory, interrupted, maxWorkers, worker

Constructor Summary

ClassExpressionSaturation(Collection<I> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory ruleAppFactory)

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)

Method Summary

SaturationStatistics	getRuleAndConclusionStatistics()
void	printStatistics() Print statistics about the saturation computation

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

process

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

finish, interrupt, start, submit

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassExpressionSaturation

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

ClassExpressionSaturation

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

ClassExpressionSaturation

public ClassExpressionSaturation(Collection<I> inputs,
                                 ComputationExecutor executor,
                                 int maxWorkers,
                                 ProgressMonitor progressMonitor,
                                 RuleApplicationFactory ruleAppFactory)

Method Detail

printStatistics

public void printStatistics()

Print statistics about the saturation computation

getRuleAndConclusionStatistics

public SaturationStatistics getRuleAndConclusionStatistics()