org.semanticweb.elk.reasoner.reduction
Interfaces
TransitiveReductionListener
TransitiveReductionOutputVisitor
Classes
TransitiveReductionFactory
TransitiveReductionJob
TransitiveReductionOutput
TransitiveReductionOutputEquivalent
TransitiveReductionOutputEquivalentDirect
TransitiveReductionOutputUnsatisfiable