Description Logic Formalization of CIM

Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi

Technical Report, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza". SMO (System Management Ontology) Project Report N. 1 2001.

Common Information Model (CIM) has the goal of providing a suitable approach for modeling systems and networks using the object-oriented paradigm. In this document we illustrate how to map CIM onto an expressive Description Logics, called DLR ifd, so as to obtain a rigorous logical framework for representing and reasoning on managed systems. The document is organized as follows. We first give an overview of both CIM and the Description Logic DLR ifd. We then illustrate the formalization of CIM in terms of DLR ifd. Finally, we present an example of how such a formalization works, by showing how the CIM Core model and the CIM Common model is expressed in DLR ifd.


@techreport{SMO-1-2001,
   title = "Description Logic Formalization of CIM",
   year = "2001",
   author = "Andrea Calì and Diego Calvanese and De Giacomo,
Giuseppe and Maurizio Lenzerini and Daniele Nardi",
   institution = "Dipartimento di Informatica e Sistemistica, Università
di Roma "La Sapienza"",
   number = "N. 1",
}
pdf