Reasoning in inconsistent database