Abstracting class diagram aid in checking consistency, reverse engineering and facilitate model understanding. This article presented abstraction rules of a class diagram using a logical approach. The ...