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

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

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

Subclasses of RuleDeapplicationFactory.DeapplicationEngine in org.semanticweb.elk.reasoner.saturation.rules
 class ContextCleaningFactory.CleaningEngine
          A RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if their source is marked as saturated.
 

Methods in org.semanticweb.elk.reasoner.saturation.rules that return RuleDeapplicationFactory.DeapplicationEngine
 RuleDeapplicationFactory.DeapplicationEngine ContextCleaningFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modificationListener)
           
 RuleDeapplicationFactory.DeapplicationEngine RuleDeapplicationFactory.getDefaultEngine(ContextCreationListener listener, ContextModificationListener modListener)
           
 



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