Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.pure

Class PureRewriter

java.lang.Object

fr.boreal.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

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
Set<FOQuery>	rewrite(FOQuery query, RuleBase rules)	Execute the algorithm

Methods inherited from class java.lang.Object

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

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 Set<FOQuery> rewrite(FOQuery 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 set of all rewritings of the query with the rules