Class SourceTargetRewriter

java.lang.Object

fr.inria.rules.integraal.backward_chaining.source_target.SourceTargetRewriter

All Implemented Interfaces:

BackwardChainingAlgorithm

public class SourceTargetRewriter
extends Object
implements BackwardChainingAlgorithm

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. This let us rewrite with mapping rules in a single step This implementation uses DLX algorithm (Dancing links) to compute a full cover of the query using single 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
SourceTargetRewriter()	Creates a new SourceTargetOperator using default parameters query unifier algorithm : QueryUnifierAlgorithm
SourceTargetRewriter(QueryUnifierAlgorithm queryUnifierAlgorithm)	Creates a new SourceTargetOperator using the given parameters

Method Summary

Modifier and Type	Method	Description
UnionFOQuery	rewrite(FOQuery<? extends FOFormula> query, RuleBase rules)	Execute the algorithm
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

Constructor Details

SourceTargetRewriter

public SourceTargetRewriter()

Creates a new SourceTargetOperator using default parameters query unifier algorithm : QueryUnifierAlgorithm

SourceTargetRewriter

public SourceTargetRewriter(QueryUnifierAlgorithm queryUnifierAlgorithm)

Creates a new SourceTargetOperator using the given parameters

Parameters:

queryUnifierAlgorithm - the query unifier algorithm 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

rewrite

public UnionFOQuery rewrite(FOQuery<? extends FOFormula> query,
 RuleBase rules)

Description copied from interface: BackwardChainingAlgorithm

Execute the algorithm

Specified by:

rewrite in interface BackwardChainingAlgorithm

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