| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextCleaningFactory.CleaningEngine
A
RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if
their source is marked as saturated. |
| Modifier and Type | Method and Description |
|---|---|
RuleDeapplicationFactory.DeapplicationEngine |
ContextCleaningFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modificationListener) |
RuleDeapplicationFactory.DeapplicationEngine |
RuleDeapplicationFactory.getDefaultEngine(ContextCreationListener listener,
ContextModificationListener modListener) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.