Reasoning on UML Class Diagrams in Description Logics

Proc. of the IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD 2001). 2001.

In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we have devised is specifically tailored towards the high expressiveness of UML information structuring mechanisms, and allows one to formally model important properties which typically can only be specified by means of qualifiers. The logic is equipped with decidable reasoning procedures which can be profitably exploited in reasoning on UML class diagrams. This 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.

@inproceedings{PMD-2001,
   title = "Reasoning on UML Class Diagrams in Description Logics",
   year = "2001",
   author = "Andrea Calì and Diego Calvanese and De Giacomo,
Giuseppe and Maurizio Lenzerini",
   booktitle = "Proc. of the IJCAR Workshop on Precise Modelling and
Deduction for Object-oriented Software Development (PMD 2001)",
}