| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.reduction | |
| org.semanticweb.elk.reasoner.saturation |
| Modifier and Type | Class and Description |
|---|---|
class |
TransitiveReductionJob<R extends IndexedClassExpression>
The type of the transitive reduction job.
|
| Modifier and Type | Class and Description |
|---|---|
class |
SaturationJob<I extends IndexedClassExpression> |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.