|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ReasonerJob | |
|---|---|
| org.semanticweb.elk.reasoner.reduction | |
| org.semanticweb.elk.reasoner.saturation | |
| Uses of ReasonerJob in org.semanticweb.elk.reasoner.reduction |
|---|
| Subclasses of ReasonerJob in org.semanticweb.elk.reasoner.reduction | |
|---|---|
class |
TransitiveReductionJob<R extends IndexedClassExpression>
The type of the transitive reduction job. |
| Uses of ReasonerJob in org.semanticweb.elk.reasoner.saturation |
|---|
| Subclasses of ReasonerJob in org.semanticweb.elk.reasoner.saturation | |
|---|---|
class |
SaturationJob<I extends IndexedClassExpression>
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||