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