Reasoning in Inconsistent Databases