org.semanticweb.elk.reasoner.reduction
Class TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>>

java.lang.Object
  org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory<R,J>

Type Parameters:

R - the type of the input class expressions for which to compute the result

J - the type of the jobs that can be processed by this transitive reduction engine

All Implemented Interfaces:

InputProcessorFactory<J,TransitiveReductionFactory.Engine>

public class TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>>
extends Object
implements InputProcessorFactory<J,TransitiveReductionFactory.Engine>

The factory for engines that concurrently perform the transitive reduction of the derived subsumption hierarchy between classes. The engines accept instances of TransitiveReductionJob with the specified root IndexedClassExpression. Upon successful completion of the job, one of the two types of the TransitiveReductionOutput can be assigned: either TransitiveReductionOutputUnsatisfiable, which means that the given root IndexedClassExpression is unsatisfiable, or TransitiveReductionOutputEquivalentDirect, which contains information about equivalent classes of the given root IndexedClassExpression and its direct super-classes. As usual, to this engine factory it is possible to attach a TransitiveReductionListener using which one can monitor the processing of jobs and perform actions accordingly.

Author:

"Yevgeny Kazakov"

See Also:

TransitiveReductionOutput, TransitiveReductionOutputUnsatisfiable, TransitiveReductionOutputEquivalentDirect, TransitiveReductionListener

Nested Class Summary

class

TransitiveReductionFactory.Engine

Constructor Summary

TransitiveReductionFactory(SaturationState saturationState, int maxWorkers, TransitiveReductionListener<J> listener)
Creating a new transitive reduction engine for the input ontology index and a listener for executing callback functions.

Method Summary

void	finish()
TransitiveReductionFactory.Engine	getEngine()
SaturationStatistics	getRuleAndConclusionStatistics()
void	printStatistics() Print statistics about the transitive reduction stage

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitiveReductionFactory

public TransitiveReductionFactory(SaturationState saturationState,
                                  int maxWorkers,
                                  TransitiveReductionListener<J> listener)

Creating a new transitive reduction engine for the input ontology index and a listener for executing callback functions.

Parameters:

saturationState - the saturation state of the reasoner

maxWorkers - the maximum number of workers that can use this factory

listener - the listener object implementing callback functions for this engine

Method Detail

getEngine

public TransitiveReductionFactory.Engine getEngine()

Specified by:

getEngine in interface InputProcessorFactory<J extends TransitiveReductionJob<R>,TransitiveReductionFactory.Engine>

finish

public void finish()

Specified by:

finish in interface InputProcessorFactory<J extends TransitiveReductionJob<R>,TransitiveReductionFactory.Engine>

printStatistics

public void printStatistics()

Print statistics about the transitive reduction stage

getRuleAndConclusionStatistics

public SaturationStatistics getRuleAndConclusionStatistics()