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"



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