| Class | Description |
|---|---|
| AMIEParser |
Parses a file of AMIE rules
|
| QueryEquivalenceChecker |
This class takes two lists of atoms representing conjunctive queries
and determines whether they are equivalent or not.
|
| Rule |
A class that represents Horn rules of the form A => B where A is a conjunction of binary atoms
of the form r(x, y).
|