org.semanticweb.elk.reasoner.saturation.properties

Class ReflexivePropertyComputationFactory

java.lang.Object

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

org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory

All Implemented Interfaces:

InputProcessorFactory<IndexedObjectProperty,org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.Engine>, Interrupter

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

The factory of engines that compute implied reflexivity of object property (chains). A property is reflexive if one of its told sub-properties is reflexive, or it is a property chain consisting of reflexive properties.

Author:

"Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
ReflexivePropertyComputationFactory()

Method Summary

Methods

Modifier and Type	Method and Description
void	finish()
org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.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

ReflexivePropertyComputationFactory

public ReflexivePropertyComputationFactory()

Method Detail

getEngine

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

Specified by:

getEngine in interface InputProcessorFactory<IndexedObjectProperty,org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.Engine>

finish

public void finish()

Specified by:

finish in interface InputProcessorFactory<IndexedObjectProperty,org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.Engine>