Uses of Package
org.semanticweb.elk.reasoner.reduction

Packages that use org.semanticweb.elk.reasoner.reduction

org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.taxonomy

Classes in org.semanticweb.elk.reasoner.reduction used by org.semanticweb.elk.reasoner.reduction

TransitiveReductionFactory.Engine

TransitiveReductionJob
The type of the transitive reduction job.

TransitiveReductionListener
A listener to be used with the TransitiveReductionFactory.

TransitiveReductionOutput
The abstract class representing the output of the transitive reduction process for a given indexed class expression.

TransitiveReductionOutputEquivalent
The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.

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

TransitiveReductionOutputUnsatisfiable
The result of the transitive reduction for satisfiable IndexedClassExpressions.

TransitiveReductionOutputVisitor

Classes in org.semanticweb.elk.reasoner.reduction used by org.semanticweb.elk.reasoner.taxonomy

TransitiveReductionFactory.Engine