org.semanticweb.elk.reasoner.saturation.properties

Class PropertyHierarchyCompositionComputationFactory

java.lang.Object

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

org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory

All Implemented Interfaces:

InputProcessorFactory<IndexedPropertyChain,org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine>, Interrupter

public class PropertyHierarchyCompositionComputationFactory
extends SimpleInterrupter
implements InputProcessorFactory<IndexedPropertyChain,org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine>

Constructor Summary

Constructors

Constructor and Description
PropertyHierarchyCompositionComputationFactory()

Method Summary

Methods

Modifier and Type	Method and Description
void	finish()
org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine	getEngine()

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

isInterrupted, setInterrupt

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.util.concurrent.computation.Interrupter

isInterrupted, setInterrupt

Constructor Detail

PropertyHierarchyCompositionComputationFactory

public PropertyHierarchyCompositionComputationFactory()

Method Detail

getEngine

public org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine getEngine()

Specified by:

getEngine in interface InputProcessorFactory<IndexedPropertyChain,org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine>

finish

public void finish()

Specified by:

finish in interface InputProcessorFactory<IndexedPropertyChain,org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.Engine>