amie.rules

Class QueryEquivalenceChecker

java.lang.Object

amie.rules.QueryEquivalenceChecker

public class QueryEquivalenceChecker
extends java.lang.Object

This class takes two lists of atoms representing conjunctive queries and determines whether they are equivalent or not.

Author:

galarrag

Constructor Summary

Constructors

Constructor and Description
QueryEquivalenceChecker()

Method Summary

Modifier and Type	Method and Description
static boolean	areEquivalent(java.util.List<javatools.datatypes.ByteString[]> q1, java.util.List<javatools.datatypes.ByteString[]> q2) It determines whether two conjunctive queries represented as list of atoms are equivalent.

Methods inherited from class java.lang.Object

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

Constructor Detail

QueryEquivalenceChecker

public QueryEquivalenceChecker()

Method Detail

areEquivalent

public static boolean areEquivalent(java.util.List<javatools.datatypes.ByteString[]> q1,
                                    java.util.List<javatools.datatypes.ByteString[]> q2)

It determines whether two conjunctive queries represented as list of atoms are equivalent.

Parameters:

q1 -

q2 -

Returns: