Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.pure.rewriting_operator

Interface RewritingOperator

All Known Implementing Classes:

SingleRuleAggregator

public interface RewritingOperator

From Melanie Konïg's thesis 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). This computes direct rewritings of the query Q with regards to R We can extend this definition to a set of queries as the union of all independent rewritings for each query.

Method Summary

Modifier and Type	Method	Description
Set<FOQuery>	rewrite(FOQuery query, RuleBase rules)	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)
default Set<FOQuery>	rewrite(Collection<FOQuery> queries, RuleBase rules)	Generalization to a set of queries

Method Details

rewrite

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

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)

Parameters:

query - Q

rules - R

Returns:

a set of conjunctive queries, rewritings of Q with R

rewrite

default Set<FOQuery> rewrite(Collection<FOQuery> queries,
 RuleBase rules)

Generalization to a set of queries

Parameters:

queries - Q

rules - R

Returns:

a set of conjunctive queries, rewritings of Q with R