DL-Lite: Practical reasoning for rich DLs

CEUR Workshop Proceedings

Volumn 104, Issue , 2004, Pages

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b   Vetere, Guido ^c  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c IBM   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

CARDINALITY CONSTRAINTS; CONJUNCTIVE QUERIES; PRACTICAL REASONING; PROTOTYPE IMPLEMENTATIONS; QUERY ANSWERING; QUERY CONTAINMENT; REASONING TECHNIQUES; UML CLASS DIAGRAMS;

DATA DESCRIPTION;

EID: 85032411661     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. C. Batini, S. Ceri, and S. B. Navathe. Conceptual Database Design, an Entity-Relationship Approach. Benjamin and Cummings Publ. Co., Menlo Park, California, 1992.
2. A. Borgida and R. J. Brachman. Conceptual modeling with description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation and Applications, chapter 10, pages 349–372. Cambridge University Press, 2003.
3. A. Calì, D. Lembo, and R. Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pages 260–271, 2003.
4. A. Calì, D. Lembo, and R. Rosati. Query rewriting and answering under constraints in data integration systems. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 16–21, 2003.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. What to ask to a peer: Ontology-based query reformulation. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), 2004.
6. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS’98), pages 149–158, 1998.
7. D. Calvanese, G. De Giacomo, and M. Lenzerini. Answering queries using views over description logics knowledge bases. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 386–391, 2000.
8. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229–264. Kluwer Academic Publisher, 1998.
9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199–240, 1999.
10. D. S. Johnson and A. C. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. J. of Computer and System Sciences, 28(1):167–189, 1984.
11. J. D. Ullman. Information integration using logical views. In Proc. of the 6th Int. Conf. on Database Theory (ICDT’97), volume 1186 of Lecture Notes in Computer Science, pages 19–40. Springer, 1997.