Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.pure.rewriting_operator

Class SingleRuleAggregator

java.lang.Object

fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

All Implemented Interfaces:

RewritingOperator

public class SingleRuleAggregator
extends Object
implements RewritingOperator

From Melanie Konïg's thesis Rewriting operator SRA Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers From Melanie Konïg's thesis Rewriting operator SRA
Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers

Constructor Summary

Constructors

Constructor	Description
SingleRuleAggregator()	Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm
SingleRuleAggregator(RuleCompilation compilation)	Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm
SingleRuleAggregator(QueryUnifierAlgorithm unifier_algo)	Creates a new SingleRuleAggregator using the given parameters
SingleRuleAggregator(QueryUnifierAlgorithm unifier_algo, RuleCompilation compilation)	Creates a new SingleRuleAggregator using the given parameters The unifier algorithm must have been instantiated with the given compilation if it is not an empty compilation

Method Summary

Modifier and Type	Method	Description
Set<FOQuery>	rewrite(FOQuery query, RuleBase rb)	A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R)

Methods inherited from class java.lang.Object

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

Methods inherited from interface fr.boreal.backward_chaining.pure.rewriting_operator.RewritingOperator

rewrite

Constructor Details

SingleRuleAggregator

public SingleRuleAggregator()

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

SingleRuleAggregator

public SingleRuleAggregator(RuleCompilation compilation)

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

Parameters:

compilation - the compilation of the rules to use

SingleRuleAggregator

public SingleRuleAggregator(QueryUnifierAlgorithm unifier_algo)

Creates a new SingleRuleAggregator using the given parameters

Parameters:

unifier_algo - the query unifier algorithm to use

SingleRuleAggregator

public SingleRuleAggregator(QueryUnifierAlgorithm unifier_algo,
 RuleCompilation compilation)

Creates a new SingleRuleAggregator using the given parameters
The unifier algorithm must have been instantiated with the given compilation if it is not an empty compilation

Parameters:

unifier_algo - the query unifier algorithm to use

compilation - the compilation of the rules to use

Method Details

rewrite

public Set<FOQuery> rewrite(FOQuery query,
 RuleBase rb)

Description copied from interface: RewritingOperator

A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R)

Specified by:

rewrite in interface RewritingOperator

Parameters:

query - Q

rb - R

Returns:

a set of conjunctive queries, rewritings of Q with R