Reasoning on UML Class Diagrams using Description Logic Based Systems

Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo

Proc. of the KI 2001 Workshop on Applications of Description Logics. Volume 44 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2001.

In this paper we study how automated reasoning systems based on Description Logics (DLs) can be used for reasoning about UML class diagrams. The ability of reasoning automatically on UML class diagrams makes it possible to provide computer aided support during the application design phase in order to automatically detect relevant properties, such as inconsistencies and redundancies. We show that UML class diagrams can be formalized as knowledge bases expressed in the DL DLR . DLR knowledge bases can be translated into knowledge bases expressed in the variants of ALCQI accepted by state-of-the-art DL-based systems. Hence, in principle, the reasoning capabilities of such systems can be used to reason on UML class diagrams. However, we report some experiments indicating that state-of-the-art systems have still difficulty in dealing with the resulting knowledge bases.


@inproceedings{ADL-KIWS-2001,
   title = "Reasoning on UML Class Diagrams using Description Logic Based
Systems",
   year = "2001",
  author = "Daniela Berardi and Diego Calvanese and De Giacomo, Giuseppe",
   booktitle = "Proc. of the KI 2001 Workshop on Applications of Description
Logics",
   volume = "44",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
ps.gz pdf url