Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology | Publicación