EQL-Lite: Effective first-order query processing in description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 274-279

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lembo, Domenico ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE TECHNOLOGY; DESCRIPTION LOGIC; FIRST ORDER LOGIC; INCOMPLETE INFORMATION; KNOWLEDGE BASIS; QUERY ANSWERING; QUERYING DATABASE; SOPHISTICATED MECHANISM;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; QUERY PROCESSING;

DATA DESCRIPTION;

EID: 84880858606     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.
2. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QUONTO: Q U erying ONTO logies. In Proc. of AAAI 2005, pages 1670-1671, 2005.
3. F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. of IJCAI 2005, pages 364-369, 2005.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
6. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR 2006, pages 260-270, 2006.
7. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS'98, pages 149-158, 1998.
8. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. An epistemic operator for description logics. Artificial Intelligence, 100(1-2):225-274, 1998. (Pubitemid 128403241)
9. R. Fikes, P. Hayes, and I. Horrocks. OWL-QL: A language for deductive query answering on the semantic web. J. of Web Semantics, 2(1), 2005.
10. V. Haarslev, R. Möller, and M. Wessel. A high performance semantic web query answering engine. In Proc. of DL 2005, 2005.
11. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. J. of Log. and Comp., 9(3):385-410, 1999.
12. G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.
13. U. Hustadt, B. Motik, and U. Sattler. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005, pages 466-471, 2005.
14. H. J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23:155-212, 1984.
15. H. J. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. The MIT Press, 2001.
16. M. M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of answering unions of conjunctive queries in SHIQ. In Proc. of DL 2006, 2006.
17. R. Reiter. What should a database know? J. of Logic Programming, 14:127-153, 1990.
18. E. Sirin and B. Parsia. Pellet system description. In Proc. of DL 2006, 2006.