Uses of Class
org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory

Packages that use RuleDeapplicationFactory
org.semanticweb.elk.reasoner.saturation.rules   
 

Uses of RuleDeapplicationFactory in org.semanticweb.elk.reasoner.saturation.rules
 

Subclasses of RuleDeapplicationFactory in org.semanticweb.elk.reasoner.saturation.rules
 class ContextCleaningFactory
          Creates an engine which works as the de-application engine except that it doesn't modify saturated contexts.
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.