org.semanticweb.elk.reasoner.reduction

Class TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression>

java.lang.Object

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

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

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

Type Parameters:

R - the type of the root IndexedClassExpressions of the TransitiveReductionJobs for which this output is computed

public class TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression>
extends TransitiveReductionOutputEquivalent<R>

The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.

Author:

"Yevgeny Kazakov"

See Also:

TransitiveReductionJob

Constructor Summary

Constructors

Constructor and Description
TransitiveReductionOutputEquivalentDirect(R root)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(TransitiveReductionOutputVisitor<R> visitor)
List<TransitiveReductionOutputEquivalent<IndexedClass>>	getDirectSubsumers() Returns the list of partial outputs of transitive reduction, containing equivalent classes of direct, i.e., transitively reduced, subsumers of the root.

Methods inherited from class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent

getEquivalent

Methods inherited from class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

getRoot

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitiveReductionOutputEquivalentDirect

public TransitiveReductionOutputEquivalentDirect(R root)

Method Detail

getDirectSubsumers

public List<TransitiveReductionOutputEquivalent<IndexedClass>> getDirectSubsumers()

Returns the list of partial outputs of transitive reduction, containing equivalent classes of direct, i.e., transitively reduced, subsumers of the root.

Returns:

the list consisting of partial output of transitive reduction for direct subsumers of the root

accept

public void accept(TransitiveReductionOutputVisitor<R> visitor)

Overrides:

accept in class TransitiveReductionOutputEquivalent<R extends IndexedClassExpression>