org.semanticweb.elk.reasoner.saturation.properties

Class ReflexivePropertyComputation

java.lang.Object

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

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

org.semanticweb.elk.reasoner.ReasonerComputation<IndexedObjectProperty,ReflexivePropertyComputationFactory>

org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation

All Implemented Interfaces:

Interrupter

public class ReflexivePropertyComputation
extends ReasonerComputation<IndexedObjectProperty,ReflexivePropertyComputationFactory>

A ReasonerComputation that computes reflexive IndexedPropertyChains

Author:

Yevgeny Kazakov

Field Summary

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

progressMonitor, todo

Constructor Summary

Constructors

Constructor and Description
ReflexivePropertyComputation(OntologyIndex ontIndex, ComputationExecutor executor, 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

ReflexivePropertyComputation

public ReflexivePropertyComputation(OntologyIndex ontIndex,
                            ComputationExecutor executor,
                            int maxWorkers,
                            ProgressMonitor progressMonitor)