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

Packages that use RuleEngine

org.semanticweb.elk.reasoner.saturation.rules

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

Classes in org.semanticweb.elk.reasoner.saturation.rules that implement RuleEngine

class	ContextCleaningFactory.CleaningEngine A RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if their source is marked as saturated.
class	RuleApplicationFactory.BaseEngine This engine has all the functionality for applying rules but needs to be extended if new contexts may need to be created
class	RuleApplicationFactory.DefaultEngine Default rule application engine which can create new contexts via ExtendedSaturationStateWriter (either directly when a new IndexedClassExpression is submitted or during decomposition
class	RuleDeapplicationFactory.DeapplicationEngine