org.semanticweb.elk.reasoner.saturation

Class ClassExpressionSaturation<I extends IndexedClassExpression>

java.lang.Object

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

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>

All Implemented Interfaces:

Interrupter

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

Constructor Summary

Constructors

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

Methods

Modifier and Type	Method and Description
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, 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

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()