Class PureRewriter

java.lang.Object

fr.inria.rules.integraal.backward_chaining.pure.PureRewriter

All Implemented Interfaces:

BackwardChainingAlgorithm

public class PureRewriter
extends Object
implements BackwardChainingAlgorithm

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.
The given query must represent a CQ or UCQ. That is, a conjunction of atoms without negation (CQ) or a union of CQ (UCQ) with the same answer variables.

Constructor Summary

Constructors

Constructor	Description
PureRewriter()	Creates a new PureRewriter using default parameters Rewriting operator SRA Cover function query cover
PureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core)	Creates a new PureRewriter using the given parameters
PureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation)	Creates a new PureRewriter using the given parameters
PureRewriter(RuleCompilation compilation)	Creates a new PureRewriter using the given parameters

Method Summary

Modifier and Type	Method	Description
UnionFOQuery	rewrite(UnionFOQuery queries, RuleBase rules)	Execute the algorithm

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface BackwardChainingAlgorithm

rewrite

Constructor Details

PureRewriter

public PureRewriter()

Creates a new PureRewriter using default parameters Rewriting operator SRA Cover function query cover

PureRewriter

public PureRewriter(RuleCompilation compilation)

Creates a new PureRewriter using the given parameters

Parameters:

compilation - the rule compilation to use

PureRewriter

public PureRewriter(RewritingOperator rew,
 CoverFunction coverFct,
 QueryCoreProcessor core)

Creates a new PureRewriter using the given parameters

Parameters:

rew - the rewriting operator to use

coverFct - the cover function to use

core - the core processor to use

PureRewriter

public PureRewriter(RewritingOperator rew,
 CoverFunction coverFct,
 QueryCoreProcessor core,
 RuleCompilation compilation)

Creates a new PureRewriter using the given parameters

Parameters:

rew - the rewriting operator to use

coverFct - the cover function to use

core - the core processor to use

compilation - the rule compilation to use

Method Details

rewrite

public UnionFOQuery rewrite(UnionFOQuery queries,
 RuleBase rules)

Description copied from interface: BackwardChainingAlgorithm

Execute the algorithm

Specified by:

rewrite in interface BackwardChainingAlgorithm

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