org.semanticweb.elk.reasoner.reduction

Interfaces

• TransitiveReductionListener
• TransitiveReductionOutputVisitor

Classes

• TransitiveReductionFactory
• TransitiveReductionJob
• TransitiveReductionOutput
• TransitiveReductionOutputEquivalent
• TransitiveReductionOutputEquivalentDirect
• TransitiveReductionOutputUnsatisfiable