Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.api

Interface BackwardChainingAlgorithm

All Known Implementing Classes:

PureRewriter, SourceTargetRewriter

public interface BackwardChainingAlgorithm

A Backward Chaining algorithm rewrites a FOQuery according to the given RuleBase.

Method Summary

Modifier and Type	Method	Description
Set<FOQuery>	rewrite(FOQuery query, RuleBase rules)	Execute the algorithm

Method Details

rewrite

Set<FOQuery> rewrite(FOQuery query,
 RuleBase rules)

Execute the algorithm

Parameters:

query - the query to rewrite

rules - the rules with which to rewrite the query

Returns:

the set of all rewritings of the query with the rules