| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.saturation.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextCleaningFactory
Creates an engine which works as the de-application engine except that it
doesn't modify saturated contexts.
|
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.