Class QueryHomomorphism

java.lang.Object

fr.inria.rules.integraal.backward_chaining.homomorphism.QueryHomomorphism

public class QueryHomomorphism
extends Object

Homomorphism computing specialized for queries Takes into account answer variables and initial substitutions Use the fact that queries are small to perform some quick checks that would cost a lot on a whole factbase Also uses a rule compilation

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
QueryHomomorphism()	Default constructor.
QueryHomomorphism(RuleCompilation compilation)	Constructor with compilation

Method Summary

Modifier and Type	Method	Description
boolean	exists(FOQuery<? extends FOFormula> q1, FOQuery<? extends FOFormula> q2)	Checks whether a homomorphism exists from the first query to the second one.

Methods inherited from class Object

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

Constructor Details

QueryHomomorphism

public QueryHomomorphism()

Default constructor. Uses no compilation

QueryHomomorphism

public QueryHomomorphism(RuleCompilation compilation)

Constructor with compilation

Parameters:

compilation - the compilation to use

Method Details

exists

public boolean exists(FOQuery<? extends FOFormula> q1,
 FOQuery<? extends FOFormula> q2)

Checks whether a homomorphism exists from the first query to the second one.

Parameters:

q1 - a query

q2 - a query

Returns:

true iff there is a homomorphism from q1 to q2