Data complexity of query answering in description logics

Artificial Intelligence

Volumn 195, Issue , 2013, Pages 335-360

  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

Computational complexity; Conjunctive queries; Description logics; Knowledge representation; Ontologies

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; FORMAL LANGUAGES; INFORMATION MANAGEMENT; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY; QUERY LANGUAGES; SEARCH ENGINES;

ANSWERING QUERIES; COMPLEXITY ANALYSIS; CONJUNCTIVE QUERIES; DATABASE TECHNOLOGY; DESCRIPTION LOGIC; EXPRESSIVE POWER; QUERY ANSWERING; RELATIONAL DATABASE;

QUERY PROCESSING;

EID: 84878317837     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2012.10.003     Document Type: Article

References (61)

1. J. Lee, K. Siau, S. Hong, Enterprise integration with ERP and EAI, Communications of the ACM 46 (2) (2003) 54-60.
2. M. Lenzerini, Data integration: A theoretical perspective, in: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), 2002, pp. 233-246.
3. J. Heflin, J. Hendler, A portrait of the semantic web in action, IEEE Intelligent Systems 16 (2) (2001) 54-59. (Pubitemid 32496022)
4. A. Borgida, R.J. Brachman, D.L. McGuinness, L.A. Resnick, CLASSIC: A structural data model for objects, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1989, pp. 59-67.
5. D. Calvanese, G. De Giacomo, 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), 1998, pp. 149-158.
6. I. Horrocks, S. Tessaris, A conjunctive query language for description logic ABoxes, in: Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), 2000, pp. 399-404.
7. R. Fikes, P. Hayes, I. Horrocks, OWL-QL: A language for deductive query answering on the semantic web, Journal of Web Semantics 2 (1) (2005) 19-29.
8. D. Calvanese, T. Eiter, M. Ortiz, Answering regular path queries in expressive description logics: An automata-theoretic approach, in: Proc. of the 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), 2007, pp. 391-396.
9. D. Calvanese, G. De Giacomo, M. Lenzerini, Conjunctive query containment and answering under description logics constraints, ACM Transactions on Computational Logic 9 (3) (2008) 22.1-22.31.
10. C. Lutz, The complexity of conjunctive query answering in expressive description logics, in: Proc. of the 4th Int. Joint Conf. on Automated Reasoning (IJCAR 2008), in: Lecture Notes in Artificial Intelligence, vol. 5195, Springer, 2008, pp. 179-193.
11. B. Glimm, I. Horrocks, C. Lutz, U. Sattler, Conjunctive query answering for the description logic SHIQ, Journal of Artificial Intelligence Research 31 (2008) 151-198.
12. M.Y. Vardi, The complexity of relational query languages, in: Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC'82), 1982, pp. 137-146.
13. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, Deduction in concept languages: From subsumption to instance checking, Journal of Logic and Computation 4 (4) (1994) 423-452.
14. U. Hustadt, B. Motik, U. Sattler, Data complexity of reasoning in very expressive description logics, in: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005, pp. 466-471.
15. M. Ortiz, D. Calvanese, T. Eiter, Data complexity of query answering in expressive description logics via tableaux, Journal of Automated Reasoning 41 (1) (2008) 61-98.
16. T. Eiter, C. Lutz, M. Ortiz, M. Šimkus, Query answering in description logics with transitive roles, in: Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), 2009, pp. 759-764.
17. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, DL-Lite: Tractable description logics for ontologies, in: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), 2005, pp. 602-607.
18. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, Journal of Automated Reasoning 39 (3) (2007) 385-429. (Pubitemid 47340922)
19. A. Krisnadhi, C. Lutz, Data complexity in the EL family of description logics, in: Proc. of the 14th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), 2007, pp. 333-347.
20. A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev, The DL-Lite family and relations, Journal of Artificial Intelligence Research 36 (2009) 1-69.
21. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison Wesley Publ. Co., 1995.
22. O. Reingold, Undirected connectivity in log-space, Journal of the ACM 55 (4) (2008) 17:1-17:24.
23. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.
24. HN, in: Proc. of the 23rd Int. Workshop on Description Logic (DL 2010), in: CEUR Electronic Workshop Proceedings, vol. 573, 2010, pp. 267-278, http://ceur-ws.org/.
25. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, Data complexity of query answering in description logics, in: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 2006, pp. 260-270.
26. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, Linking data to ontologies, Journal on Data Semantics X (2008) 133-173.
27. D.S. Johnson, A.C. Klug, Testing containment of conjunctive queries under functional and inclusion dependencies, Journal of Computer and System Sciences 28 (1) (1984) 167-189. (Pubitemid 14569352)
28. R. Fagin, P.G. Kolaitis, R.J. Miller, L. Popa, Data exchange: Semantics and query answering, Theoretical Computer Science 336 (1) (2005) 89-124. (Pubitemid 40612385)
29. H. Pérez-Urbina, B. Motik, I. Horrocks, Rewriting conjunctive queries over description logic knowledge bases, in: K.-D. Schewe, B. Thalheim (Eds.), Revised Selected Papers of the 3rd Int. Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), in: Lecture Notes in Computer Science, vol. 4925, Springer, 2008, pp. 199-214.
30. M.R. Garey, D.S. Johnson, Computers and Intractability - A Guide to NP-Completeness, W.H. Freeman and Company, San Francisco, CA, 1979.
31. T. Eiter, G. Gottlob, M. Ortiz, M. Šimkus, Query answering in the description logic Horn-SHIQ, in: Proc. of the 11th Eur. Conference on Logics in Artificial Intelligence (JELIA 2008), 2008, pp. 166-179.
32. A.Y. Levy, M.-C. Rousset, Verification of knowledge bases based on containment checking, Artificial Intelligence 101 (1-2) (1998) 227-250. (Pubitemid 128387394)
33. A.Y. Levy, M.-C. Rousset, Combining Horn rules and description logics in CARIN, Artificial Intelligence 104 (1-2) (1998) 165-209. (Pubitemid 128400989)
34. B. Glimm, I. Horrocks, U. Sattler, Unions of conjunctive queries in SHOQ, in: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), 2008, pp. 252-262.
35. U. Hustadt, B. Motik, U. Sattler, Reducing SHIQ-description logic to disjunctive Datalog programs, in: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), 2004, pp. 152-162.
36. B. Motik, Reasoning in description logics using resolution and deductive databases, Ph.D. thesis, Universität Karlsruhe, Karlsruhe, Germany, January 2006.
37. R. Rosati, The limits of querying ontologies, in: Proc. of the 11th Int. Conf. on Database Theory (ICDT 2007), in: Lecture Notes in Computer Science, vol. 4353, Springer, 2007, pp. 164-178.
38. M. Krötzsch, S. Rudolph, Conjunctive queries for EL with role composition, in: Proc. of the 20th Int. Workshop on Description Logic (DL 2007), in: CEUR Electronic Workshop Proceedings, vol. 250, 2007, pp. 355-362, http://ceur-ws.org/.
39. C. Lutz, F. Wolter, Non-uniform data complexity of query answering in description logics, in: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012, pp. 297-307.
40. R. Kontchakov, C. Lutz, D. Toman, F. Wolter, M. Zakharyaschev, The combined approach to query answering in DL-Lite, in: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), 2010, pp. 247-257.
41. R. Rosati, A. Almatelli, Improving query answering over DL-Lite ontologies, in: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), 2010, pp. 290-300.
42. H. Pérez-Urbina, B. Motik, I. Horrocks, Tractable query answering and rewriting under description logic constraints, Journal of Applied Logic 8 (2) (2010) 186-209.
43. G. Gottlob, T. Schwentick, Rewriting ontological queries into small nonrecursive Datalog programs, in: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012, pp. 254-263.
44. G. Gottlob, G. Orsi, A. Pieris, Ontological queries: Rewriting and optimization, in: Proc. of the 27th IEEE Int. Conf. on Data Engineering (ICDE 2011), 2011, pp. 2-13.
45. A. Calì, G. Gottlob, T. Lukasiewicz, A general Datalog-based framework for tractable query answering over ontologies, in: Proc. of the 28th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2009), 2009, pp. 77-86.
46. J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence 175 (9-10) (2011) 1620-1654.
47. J.-F. Baget, M.-L. Mugnier, S. Rudolph, M. Thomazo, Walking the complexity lines for generalized guarded existential rules, in: Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), 2011, pp. 712-717.
48. M. Krötzsch, S. Rudolph, Extending decidable existential rules by joining acyclicity and guardedness, in: Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), 2011, pp. 963-968.
49. A. Calì, G. Gottlob, A. Pieris, New expressive languages for ontological query answering, in: Proc. of the 25th AAAI Conf. on Artificial Intelligence (AAAI 2011), 2011, pp. 1541-1546.
50. ∃ programs, in: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012, pp. 13-23.
51. A. Calì, G. Gottlob, A. Pieris, Advanced processing for ontological queries, Proceedings of the VLDB Endowment 3 (1) (2010) 554-565.
52. A. Calì, G. Gottlob, A. Pieris, Query answering under non-guarded rules in Datalog+/-, in: Proc. of the 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010), 2010, pp. 1-17.
53. A. Calì, G. Gottlob, T. Lukasiewicz, A general Datalog-based framework for tractable query answering over ontologies, Tech. Rep. CL-RR-10-21, Oxford University Computing Laboratory, 2010.
54. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: Combining logic programs with description logic, in: Proc. of the 12th Int. World Wide Web Conf. (WWW 2003), 2003, pp. 48-57.
55. A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, R. Rosati, QuOnto: Querying ontologies, in: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), 2005, pp. 1670-1671.
56. M. Stocker, M. Smith, Owlgres: A scalable OWL reasoner, in: Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008), in: CEUR Electronic Workshop Proceedings, vol. 432, 2008, http://ceur-ws.org/.
57. E. Thomas, J.Z. Pan, Y. Ren, TrOWL: Tractable OWL 2 reasoning infrastructure, in: Proc. of the 7th Extended Semantic Web Conf. (ESWC 2010), 2010, pp. 431-435.
58. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, M. Rodriguez-Muro, R. Rosati, M. Ruzzi, D.F. Savo, The Mastro system for ontology-based data access, Semantic Web Journal 2 (1) (2011) 43-53.
59. M. Rodriguez-Muro, D. Calvanese, High performance query answering over DL-Lite ontologies, in: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012, pp. 308-318.
60. F. Baader, C. Lutz, B. Suntisrivaraporn, CEL - a polynomial-time reasoner for life science ontologies, in: Proc. of the 3rd Int. Joint Conf. on Automated Reasoning (IJCAR 2006), in: Lecture Notes in Artificial Intelligence, vol. 4130, Springer, 2006, pp. 287-291.
61. K. Dentler, R. Cornet, A. ten Teije, N. de Keizer, Comparison of reasoners for large ontologies in the OWL 2 EL profile, Semantic Web Journal 2 (2) (2011) 71-87.