Inconsistency-tolerant Integrity Checking