Interface BackwardChainingAlgorithm

All Known Implementing Classes:
PureRewriter, SourceTargetRewriter
public interface BackwardChainingAlgorithm
A Backward Chaining algorithm rewrites a FOQuery according to the given RuleBase.

  • Method Details

    • rewrite

      default UnionFOQuery rewrite(FOQuery<? extends FOFormula> query, RuleBase rules)
      Execute the algorithm
      Parameters:
      query - the query to rewrite
      rules - the rules with which to rewrite the query
      Returns:
      the union of all rewritings of the query with the rules

    • rewrite

      UnionFOQuery rewrite(UnionFOQuery queries, RuleBase rules)
      Execute the algorithm
      Parameters:
      queries - the ucq to rewrite
      rules - the rules with which to rewrite the query
      Returns:
      the union of all rewritings of the queries with the rules