|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TransitiveReductionJob | |
|---|---|
| org.semanticweb.elk.reasoner.reduction | |
| Uses of TransitiveReductionJob in org.semanticweb.elk.reasoner.reduction |
|---|
| Classes in org.semanticweb.elk.reasoner.reduction with type parameters of type TransitiveReductionJob | |
|---|---|
class |
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. |
interface |
TransitiveReductionListener<J extends TransitiveReductionJob<?>>
A listener to be used with the TransitiveReductionFactory. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||