In today’s world, many elements of our lives are being affected by software and for that we are in greater need of high-quality software. The Unified Modeling Language (UML) is considered the de facto standard for object-oriented software model development. UML class diagram plays an important role in the design and specification of software systems. A class diagram provides a static description of system components. The purpose of a class diagram is to display classes with their attributes and methods, hierarchy (generalization) class relationships, and associations (general, aggregation, and composition) between classes in one model. However, there are many concepts in the UML with imprecise semantics for that reason the models created may be incorrectly designed. Also, there are number of designers involved in the model designing process who are prone to making mistakes, which gives rise to potential conflicts, uncertainty, and ambiguity. The development of these models is a highly time-intensive process. Therefore, it is extremely important to check the correctness of these models and identify the problems in the early stage of the software development process.