Uses of Class
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

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

Uses of TransitiveReductionOutput in org.semanticweb.elk.reasoner.reduction
 

Subclasses of TransitiveReductionOutput in org.semanticweb.elk.reasoner.reduction
 class TransitiveReductionOutputEquivalent<R extends IndexedClassExpression>
          The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.
 class TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression>
          The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.
 class TransitiveReductionOutputUnsatisfiable<R extends IndexedClassExpression>
          The result of the transitive reduction for satisfiable IndexedClassExpressions.
 

Methods in org.semanticweb.elk.reasoner.reduction with parameters of type TransitiveReductionOutput
protected  void TransitiveReductionJob.setOutput(TransitiveReductionOutput<R> output)
           
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.