Uses of Interface
fr.boreal.backward_chaining.api.BackwardChainingAlgorithm

Packages that use BackwardChainingAlgorithm

Package	Description
fr.boreal.backward_chaining.pure
fr.boreal.backward_chaining.source_target

Uses of BackwardChainingAlgorithm in fr.boreal.backward_chaining.pure

Classes in fr.boreal.backward_chaining.pure that implement BackwardChainingAlgorithm

Modifier and Type	Class	Description
class	PureRewriter	From Melanie Konïg's thesis, algorithm 1 implementation on Graal v1.3 Produces a cover of the set of all rewritings of a query Q with a set of rules R using piece unifiers

Uses of BackwardChainingAlgorithm in fr.boreal.backward_chaining.source_target

Classes in fr.boreal.backward_chaining.source_target that implement BackwardChainingAlgorithm

Modifier and Type	Class	Description
class	SourceTargetRewriter	This operator rewrites a query with the given rules assuming the rules are source to target rules meaning that the vocabulary of the initial query and the rewritings will be totally disjoint.