DL-Lite: Practical Reasoning for Rich DLs

Proc. of the 17th Int. Workshop on Description Logics (DL). Volume 104 of CEUR Workshop Proceedings, https://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)",
   pages = "92--99",
   volume = "104",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}