Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.semanticweb.elk.reasoner.saturation.rules
Interface RuleEngine

All Known Implementing Classes:
ContextCleaningFactory.CleaningEngine, RuleApplicationFactory.BaseEngine, RuleApplicationFactory.DefaultEngine, RuleDeapplicationFactory.DeapplicationEngine
public interface RuleEngine

A common interface for engines used in the saturation for IndexedClassExpressions.

Author:
"Yevgeny Kazakov"

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.