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

java.lang.Object
  org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
      org.semanticweb.elk.reasoner.ReasonerComputation<IndexedObjectProperty,ReflexivePropertyComputationFactory>
          org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation

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

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

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

Constructor Summary

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, interrupt, start, submit

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)