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

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

Package	Description
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.taxonomy

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

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

Class and Description
TransitiveReductionFactory.Engine