Package org.semanticweb.elk.reasoner.reduction

Interface Summary

TransitiveReductionListener<J extends TransitiveReductionJob<?>>	A listener to be used with the TransitiveReductionFactory.
TransitiveReductionOutputVisitor<R extends IndexedClassExpression>

Class Summary

TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>>	The factory for engines that concurrently perform the transitive reduction of the derived subsumption hierarchy between classes.
TransitiveReductionJob<R extends IndexedClassExpression>	The type of the transitive reduction job.
TransitiveReductionOutput<R extends IndexedClassExpression>	The abstract class representing the output of the transitive reduction process for a given indexed class expression.
TransitiveReductionOutputEquivalent<R extends IndexedClassExpression>	The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.
TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression>	The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.
TransitiveReductionOutputUnsatisfiable<R extends IndexedClassExpression>	The result of the transitive reduction for satisfiable IndexedClassExpressions.