org.semanticweb.elk.reasoner.reduction

Class TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>>

java.lang.Object

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

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>, Interrupter

public class TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>>
extends SimpleInterrupter
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

Nested Classes

Modifier and Type	Class and Description
class	TransitiveReductionFactory.Engine

Constructor Summary

Constructors

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

Methods

Modifier and Type	Method and Description
void	finish()
TransitiveReductionFactory.Engine	getEngine()
SaturationStatistics	getRuleAndConclusionStatistics()
void	printStatistics() Print statistics about the transitive reduction stage
void	setInterrupt(boolean flag)

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

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

isInterrupted

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>

setInterrupt

public void setInterrupt(boolean flag)

Specified by:

setInterrupt in interface Interrupter

Overrides:

setInterrupt in class SimpleInterrupter

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()