Package fr.lirmm.graphik.graal.forward_chaining

Class Summary

Class	Description
BasicChase<T extends AtomSet>	This chase (forward-chaining) algorithm iterates over all rules at each step.
BreadthFirstChase	This chase (forward-chaining) algorithm iterates over all rules at each step.
ChaseWithGRD<T extends AtomSet>	This chase (forward-chaining) algorithm use GRD to define the Rules that will be triggered in the next step.
ChaseWithGRDAndUnfiers<T extends AtomSet>
SccChase<T extends AtomSet>	This Chase apply rules following the layers of the Strongly Connected Components Graph (SCCG) of the Graph Of Rule Dependencies (GRD).
StaticChase