java.lang.Object
fr.boreal.backward_chaining.pure.PureRewriter
- All Implemented Interfaces:
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
ConstructorsConstructorDescriptionCreates a new PureRewriter using default parameters Rewriting operator SRA Cover function query coverPureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core) Creates a new PureRewriter using the given parametersPureRewriter(RewritingOperator rew, CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation) Creates a new PureRewriter using the given parametersPureRewriter(RuleCompilation compilation) Creates a new PureRewriter using the given parameters -
Method Summary
-
Constructor Details
-
PureRewriter
public PureRewriter()Creates a new PureRewriter using default parameters Rewriting operator SRA Cover function query cover -
PureRewriter
Creates a new PureRewriter using the given parameters- Parameters:
compilation- the rule compilation to use
-
PureRewriter
Creates a new PureRewriter using the given parameters- Parameters:
rew- the rewriting operator to usecoverFct- the cover function to usecore- 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 usecoverFct- the cover function to usecore- the core processor to usecompilation- the rule compilation to use
-
-
Method Details
-
rewrite
Description copied from interface:BackwardChainingAlgorithmExecute the algorithm- Specified by:
rewritein interfaceBackwardChainingAlgorithm- Parameters:
query- the query to rewriterules- the rules with which to rewrite the query- Returns:
- the set of all rewritings of the query with the rules
-