DL-Lite: Practical Reasoning for Rich DLs (2004)
Cached
Download Links
by
Diego Calvanese, Giuseppe De Giacomo
,
Maurizio Lenzerini
,
Riccardo Rosati
,
Guido Vetere
| Venue: | IN PROC. DL 2004, VOLUME 104 OF CEUR WORKSHOP PROCEEDINGS |
| Citations: | 23 - 6 self |
BibTeX
@INPROCEEDINGS{Calvanese04dl-lite:practical,
author = {Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati and Guido Vetere},
title = {DL-Lite: Practical Reasoning for Rich DLs},
booktitle = {IN PROC. DL 2004, VOLUME 104 OF CEUR WORKSHOP PROCEEDINGS},
year = {2004},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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
Citations
| 395 | Information Integration Using Logical Views - Ullman |
| 222 | On the decidability of query containment under constraints - Calvanese, Giacomo, et al. - 1998 |
| 123 | Description logics for conceptual data modeling - Calvanese, Lenzerini, et al. - 1998 |
| 96 | On the decidability and complexity of query answering over inconsistent and incomplete databases - Cali, Lembo, et al. - 2003 |
| 87 | Testing containment of conjunctive queries under functional and inclusion dependencies - Johnson, Klug - 1984 |
| 83 | Unifying Class-Based Representation Formalisms - Calvanese, Lenzerini - 1999 |
| 60 | R.: Query rewriting and answering under constraints in data integration systems - Cali, Lembo, et al. - 2003 |
| 57 | Answering queries using views over description logics knowledge bases - Calvanese, Giacomo, et al. - 2000 |
| 37 | R.J.: Conceptual Modeling with Description Logics - Borgida, Brachman - 2003 |
| 15 | R.: What to ask to a peer: Ontology-based query reformulation - Calvanese, Giacomo, et al. - 2004 |
