A comparison of query rewriting techniques for DL-lite

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Pérez Urbina, Héctor ^a   Motik, Boris ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (17)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope. In International Joint Conferences on Artificial Intelligence (IJCAI-05), 2005.
3. F. Baader and W. Nutt. Basic Description Logics, chapter 2, pages 47-100. Cambridge University Press, 2003.
4. F. Baader and W. Snyder. Unification Theory. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume 1, chapter 8, pages 445-532. Elsevier Science, 2001.
5. L. Bachmair and H. Ganzinger. Resolution Theorem Proving. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume 1, chapter 2, pages 19-100. North Holland, 2001.
6. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. of Automated Reasoning, 2007.
7. D. Calvanese, G. D. Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description Logic Framework for Information Integration. In Principles of Knowledge Representation and Reasoning, pages 2-13, 1998.
8. C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Inc., Orlando, FL, USA, 1997.
9. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. In ICDT, pages 207-224, 2003.
10. J. Heflin and J. Hendler. A portrait of the semantic web in action. IEEE Intelligent Systems, 16(2):54-59, 2001.
11. C. M. Keet, R. Alberts, A. Gerber, and G. Chimamiwa. Enhancing web portals with ontology-based data access: The case study of south africa's accessibility portal for people with disabilities. In OWLED, 2008.
12. M. Lenzerini. Data Integration: a theoretical perspective. In PODS '02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 233-246, New York, NY, USA, 2002. ACM Press.
13. H. Pérez-Urbina, B. Motik, and I. Horrocks. Rewriting Conjunctive Queries under Description Logic Constraints. In Proceedings of the International Workshop on Logics in Databases, May 2008.
14. M. Rodriguez-Muro, L. Lubyte, and D. Calvanese. Realizing ontology based data access: A plug-in for protégé. In Proc. of the Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008), pages 286-289. IEEE Computer Society Press, 2008.
15. R. Rosati. On conjunctive query answering in EL. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
16. R. van der Meyden. Logical Approaches to Incomplete Information: A Survey. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 307-356. Kluwer, 1998.
17. J. Widom. Research Problems in Data Warehousing. In 4th International Conference on Information and Knowledge Management, pages 25-30, Baltimore, Maryland, 1995.