| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.reduction |
| Modifier and Type | Class and Description |
|---|---|
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. |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.