Uses of Package
fr.boreal.backward_chaining.pure.rewriting_operator
Packages that use fr.boreal.backward_chaining.pure.rewriting_operator
Package
Description
-
Classes in fr.boreal.backward_chaining.pure.rewriting_operator used by fr.boreal.backward_chaining.pureClassDescriptionFrom 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_operatorClassDescriptionFrom 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).