Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.source_target

Class SourceTargetRewriter

java.lang.Object

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

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
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

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 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