Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere.
In Proceedings of the 2004 Description Logic Workshop (DL 2004), CEUR Electronic Workshop Proceedings, 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 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 has been developed.
@String{DL-04 = "Proceedings of the 2004 Description Logic Workshop (DL~2004)"}
@Inproceedings{CDLRV04,
author = "Diego Calvanese and De Giacomo, Giuseppe and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati and Guido Vetere",
title = "{DL}-{L}ite: Practical Reasoning for Rich DLs",
booktitle = DL-04,
publisher = "CEUR Electronic Workshop Proceedings",
year = 2004,
}