Reasoning with contradictory deductive databases