org.semanticweb.elk.reasoner.saturation.properties

Class PropertyHierarchyCompositionComputation

java.lang.Object

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

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

org.semanticweb.elk.reasoner.ReasonerComputation<IndexedPropertyChain,PropertyHierarchyCompositionComputationFactory>

org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation

All Implemented Interfaces:

Interrupter

public class PropertyHierarchyCompositionComputation
extends ReasonerComputation<IndexedPropertyChain,PropertyHierarchyCompositionComputationFactory>

A ReasonerComputation that computes relevant sub-properties and composition maps

Author:

Yevgeny Kazakov

Field Summary

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

progressMonitor, todo

Constructor Summary

Constructors

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

PropertyHierarchyCompositionComputation

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