Consistency Checking of Compliance Rules · Study