org.semanticweb.elk.reasoner.reduction

Class TransitiveReductionJob<R extends IndexedClassExpression>

java.lang.Object

org.semanticweb.elk.reasoner.ReasonerJob<R,TransitiveReductionOutput<R>>

org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob<R>

Type Parameters:

R - the type of the input for the transitive reduction job.

public class TransitiveReductionJob<R extends IndexedClassExpression>
extends ReasonerJob<R,TransitiveReductionOutput<R>>

The type of the transitive reduction job. The input of the transitive reduction job is an indexed class expression for which it is required to check satisfiability, and if satisfiable, compute equivalent classes and direct super-classes. This result is set as the output of the job.

Author:

"Yevgeny Kazakov"

Constructor Summary

Constructors

Constructor and Description
TransitiveReductionJob(R input)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	setOutput(TransitiveReductionOutput<R> output) Set the output of this job to the given value.

Methods inherited from class org.semanticweb.elk.reasoner.ReasonerJob

getInput, getOutput

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitiveReductionJob

public TransitiveReductionJob(R input)

Method Detail

setOutput

protected void setOutput(TransitiveReductionOutput<R> output)

Description copied from class: ReasonerJob

Set the output of this job to the given value.

Overrides:

setOutput in class ReasonerJob<R extends IndexedClassExpression,TransitiveReductionOutput<R extends IndexedClassExpression>>

Parameters:

output - the output of this job