DL-Lite: Practical Reasoning for Rich DLs

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, and Guido Vetere

Proc. of the 17th Int. Workshop on Description Logics (DL 2004). Volume 104 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/. 2004.

In this paper we study a DL rich enough to express UML class diagrams including ISA and disjointness between classes (but not covering constraints), typing of associations, and participation and functional cardinality constraints. For such a DL, which we call DL-Lite, we propose novel reasoning techniques for a variety of tasks, notably including query containment and query answering for conjunctive queries over concepts and roles. The techniques are based on query containment under constraints typical of databases. A prototype implementation of DL-Lite has been developed and experimented with.


@inproceedings{DL-2004-lite,
   title = "DL-Lite:  Practical Reasoning for Rich DLs",
   year = "2004",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio
Lenzerini and Riccardo Rosati and Guido Vetere",
   booktitle = "Proc. of the 17th Int. Workshop on Description Logics
(DL 2004)",
   pages = "92-99",
   volume = "104",
   series = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/",
}
pdf url