Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.homomorphism

Class QueryHomomorphism

java.lang.Object

fr.boreal.backward_chaining.homomorphism.QueryHomomorphism

public class QueryHomomorphism
extends Object

Author:

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	exists(FOQuery q1, FOQuery q2)

Methods inherited from class java.lang.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 q1,
 FOQuery q2)

Parameters:

q1 - a query

q2 - a query

Returns:

true iff there is an homomorphism from q1 to q2