Uses of Package
fr.boreal.backward_chaining.pure.rewriting_operator

Packages that use fr.boreal.backward_chaining.pure.rewriting_operator

Package	Description
fr.boreal.backward_chaining.pure
fr.boreal.backward_chaining.pure.rewriting_operator

Classes in fr.boreal.backward_chaining.pure.rewriting_operator used by fr.boreal.backward_chaining.pure

Class	Description
RewritingOperator	From Melanie Konïg's thesis A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R).

Classes in fr.boreal.backward_chaining.pure.rewriting_operator used by fr.boreal.backward_chaining.pure.rewriting_operator

Class	Description
RewritingOperator	From Melanie Konïg's thesis A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R).