DL-Lite: Practical Reasoning for Rich Dls

Abstract

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.

Extracted Key Phrases

Statistics

051015'04'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Calvanese2004DLLitePR, title={DL-Lite: Practical Reasoning for Rich Dls}, author={Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati and Guido Vetere}, booktitle={Description Logics}, year={2004} }