Package fr.lirmm.graphik.graal.forward_chaining.halting_condition

Class Summary

Class	Description
FrontierRestrictedChaseHaltingCondition	This HaltingCondition will produce new data according to a rule, a substitution and specified data if it has not already been applied with an other substitution that maps the rule's frontier in the same way.
HaltingConditionWithHandler
RestrictedChaseHaltingCondition	This HaltingCondition will produce new data according to a rule, a substitution s and specified data if s cannot be extended to a homomorphism from B ∪ H to F where B is the rule body, H the rule HEAD and F the data.