Verification of Knowledge Bases based on Containment Checking
On conjunctive queries containing inequalities