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

java.lang.Object
  extended by org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory
All Implemented Interfaces:
InputProcessorFactory<IndexedObjectProperty,org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.Engine>

public class ReflexivePropertyComputationFactory
extends Object
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
ReflexivePropertyComputationFactory()
           
 
Method Summary
 void finish()
           
 org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory.Engine getEngine()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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>


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.