View-based query answering in Description Logics: Semantics and complexity

Journal of Computer and System Sciences

Volumn 78, Issue 1, 2012, Pages 26-46

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

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Certain answers; Conjunctive queries; Data complexity; Description Logics; DL Lite family; EL family; Incomplete information; Ontologies; Privacy aware data management; View based query processing

Indexed keywords

FORMAL LANGUAGES; INFORMATION MANAGEMENT; ONTOLOGY; SEMANTICS;

CERTAIN ANSWERS; CONJUNCTIVE QUERIES; DATA COMPLEXITY; DESCRIPTION LOGIC; DL-LITE; EL-FAMILY; INCOMPLETE INFORMATION; PRIVACY-AWARE DATA MANAGEMENT; VIEW-BASED;

DATA DESCRIPTION;

EID: 81955168130     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2011.02.011     Document Type: Article

References (58)

1. J.D. Ullman Information integration using logical views Proc. of the 6th Int. Conf. on Database Theory ICDT'97 Lecture Notes in Comput. Sci. vol. 1186 1997 Springer 19 40
2. S. Abiteboul, O. Duschka, Complexity of answering queries using materialized views, in: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'98, 1998, pp. 254-265.
3. A.Y. Halevy Answering queries using views: A survey Very Large Database J. 10 4 2001 270 294 (Pubitemid 33570969)
4. Z. Zhang, and A. Mendelzon Authorization views and conditional query containment Proc. of the 10th Int. Conf. on Database Theory ICDT 2005 Lecture Notes in Comput. Sci. vol. 3363 2005 Springer 259 273
5. S. Rizvi, A.O. Mendelzon, S. Sudarshan, P. Roy, Extending query rewriting techniques for fine-grained access control, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 2004, pp. 551-562.
6. P. Stouppa, and T. Studer A formal model of data privacy I. Virbitskaite, A. Voronkov, Ershov Memorial Conference Lecture Notes in Comput. Sci. vol. 4378 2007 Springer 400 408
7. A.Y. Levy, A.O. Mendelzon, Y. Sagiv, D. Srivastava, Answering queries using views, in: Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'95, 1995, pp. 95-104.
8. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, View-based query processing and constraint satisfaction, in: Proc. of the 15th IEEE Symp. on Logic in Computer Science, LICS 2000, 2000, pp. 361-371.
9. D. Calvanese, G. De Giacomo, M. Lenzerini, and M.Y. Vardi View-based query processing: On the relationship between rewriting, answering and losslessness Theoret. Comput. Sci. 371 3 2007 169 182 (Pubitemid 46215857)
10. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation and Applications 2003 Cambridge University Press
11. I. Horrocks Ontologies and the Semantic Web Commun. ACM 51 12 2008 58 67
12. 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. Automat. Reason. 39 3 2007 385 429 (Pubitemid 47340922)
13. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati Linking data to ontologies J. Data Semantics X 2008 133 173
14. F. Baader, S. Brandt, C. Lutz, Pushing the EL envelope, in: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005, 2005, pp. 364-369.
15. 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.
16. R. Rosati, On conjunctive query answering in EL, in: Proc. of the 20th Int. Workshop on Description Logic, DL 2007, CEUR Electronic Workshop Proceedings, vol. 250, 2007, pp. 451-458, http://ceur-ws.org/.
17. I. Horrocks, U. Sattler, and S. Tobies Reasoning with individuals for the description logic SHIQ D. McAllester, Proc. of the 17th Int. Conf. on Automated Deduction CADE 2000 Lecture Notes in Comput. Sci. vol. 1831 2000 Springer 482 496
18. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen From SHIQ and RDF to OWL: The making of a web ontology language J. Web Semantics 1 1 2003 7 26 (Pubitemid 44914724)
19. B. Glimm, I. Horrocks, C. Lutz, and U. Sattler Conjunctive query answering for the description logic SHIQ J. Artificial Intelligence Res. 31 2008 151 198
20. D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, View-based query answering over description logic ontologies, in: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning, KR 2008, 2008, pp. 242-251.
21. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison Wesley Publ. Co.
22. F. Baader, and W. Nutt Basic description logics F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications 2003 Cambridge University Press 43 95 Ch. 2
23. 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.
24. M. Ortiz, D. Calvanese, and T. Eiter Data complexity of query answering in expressive description logics via tableaux J. Automat. Reason. 41 1 2008 61 98
25. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev The DL-Lite family and relations J. Artificial Intelligence Res. 36 2009 1 69
26. D. Maier, A.O. Mendelzon, and Y. Sagiv Testing implications of data dependencies ACM Trans. Database Systems 4 4 1979 455 469
27. A. Rajaraman, Y. Sagiv, J.D. Ullman, Answering queries using templates with binding patterns, in: Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'95, 1995, pp. 105-112.
28. R. Pottinger, A.Y. Levy, A scalable algorithm for answering queries using views, in: Proc. of the 26th Int. Conf. on Very Large Data Bases, VLDB 2000, 2000, pp. 484-495.
29. F.N. Afrati, M. Gergatsoulis, and T. Kavalieros Answering queries using materialized views with disjunction Proc. of the 7th Int. Conf. on Database Theory ICDT'99 Lecture Notes in Comput. Sci. vol. 1540 1999 Springer 435 452
30. D. Srivastava, S. Dar, H.V. Jagadish, A. Levy, Answering queries with aggregation using views, in: Proc. of the 22nd Int. Conf. on Very Large Data Bases, VLDB'96, 1996, pp. 318-329.
31. S. Cohen, W. Nutt, A. Serebrenik, Rewriting aggregate queries using views, in: Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'99, 1999, pp. 155-166.
32. O.M. Duschka, M.R. Genesereth, Answering recursive queries using views, in: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'97, 1997, pp. 109-116.
33. S. Flesca, and S. Greco Rewriting queries using views IEEE Trans. on Knowledge and Data Engineering 13 6 2001 980 995 (Pubitemid 34035588)
34. J. Gryz, Query folding with inclusion dependencies, in: Proc. of the 14th IEEE Int. Conf. on Data Engineering, ICDE'98, 1998, pp. 126-133.
35. O.M. Duschka, A.Y. Levy, Recursive plans for information gathering, in: Proc. of the 15th Int. Joint Conf. on Artificial Intelligence, IJCAI'97, 1997, pp. 778-784.
36. A. Calì, D. Lembo, 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, 2003, pp. 16-21.
37. C. Li, E. Chang, On answering queries in the presence of limited access patterns, in: Proc. of the 8th Int. Conf. on Database Theory, ICDT 2001, 2001, pp. 219-233. (Pubitemid 33213328)
38. A. Calì, D. Calvanese, and D. Martinenghi Dynamic query optimization under access limitations and dependencies J. Univers. Comput. Sci. 15 1 2009 33 62
39. S. Chaudhuri, S. Krishnamurthy, S. Potarnianos, K. Shim, Optimizing queries with materialized views, in: Proc. of the 11th IEEE Int. Conf. on Data Engineering, ICDE'95, 1995, pp. 190-200.
40. S. Adali, K.S. Candan, Y. Papakonstantinou, V.S. Subrahmanian, Query caching and optimization in distributed mediator systems, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1996, pp. 137-148. (Pubitemid 126440763)
41. O.G. Tsatalos, M.H. Solomon, and Y.E. Ioannidis The GMAP: A versatile tool for physical data independence Very Large Database J. 5 2 1996 101 118 (Pubitemid 126704132)
42. G. Grahne, and A.O. Mendelzon Tableau techniques for querying information sources through global schemas Proc. of the 7th Int. Conf. on Database Theory ICDT'99 Lecture Notes in Comput. Sci. vol. 1540 1999 Springer 332 347
43. P.G. Kolaitis, Schema mappings, data exchange, and metadata management, in: Proc. of the 24rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2005, 2005, pp. 61-75. (Pubitemid 43275470)
44. L. Libkin, Data exchange and incomplete information, in: Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2006, 2006, pp. 60-69. (Pubitemid 46946467)
45. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Rewriting of regular expressions and regular path queries, in: Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'99, 1999, pp. 194-204.
46. D. Calvanese, G. De Giacomo, M. Lenzerini, and M.Y. Vardi Rewriting of regular expressions and regular path queries J. Comput. System Sci. 64 3 2002 443 465
47. G. Grahne, A. Thomo, Query containment and rewriting using views for regular path queries under constraints, in: Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2003, 2003, pp. 111-122.
48. G. Grahne, and A. Thomo Algebraic rewritings for optimizing regular path queries Theoret. Comput. Sci. 296 3 2003 453 471
49. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Answering regular path queries using views, in: Proc. of the 16th IEEE Int. Conf. on Data Engineering, ICDE 2000, 2000, pp. 389-398. (Pubitemid 30585727)
50. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Query processing using views for regular path queries with inverse, in: Proc. of the 19th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2000, 2000, pp. 58-66.
51. M.F. Fernandez, D. Suciu, Optimizing regular path expressions using graph schemas, in: Proc. of the 14th IEEE Int. Conf. on Data Engineering, ICDE'98, 1998, pp. 14-23.
52. T. Milo, and D. Suciu Index structures for path expressions Proc. of the 7th Int. Conf. on Database Theory ICDT'99 Lecture Notes in Comput. Sci. vol. 1540 1999 Springer 277 295
53. Y. Papakonstantinou, V. Vassalos, Query rewriting for semistructured data, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1999, pp. 455-466. (Pubitemid 129597357)
54. F.N. Afrati, R. Chirkova, M. Gergatsoulis, B. Kimelfeld, V. Pavlaki, Y. Sagiv, On rewriting XPath queries using views, in: Proc. of the 12th Int. Conf. on Extending Database Technology, EDBT 2009, 2009, pp. 168-179.
55. D. Calvanese, G. De Giacomo, M. Lenzerini, and M.Y. Vardi An automata-theoretic approach to Regular XPath Proc. of the 12th Int. Symp. on Database Programming Languages DBPL 2009 Lecture Notes in Comput. Sci. vol. 5708 2009 Springer 18 35
56. C. Beeri, A.Y. Levy, M.-C. Rousset, Rewriting queries using views in description logics, in: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'97, 1997, pp. 99-108.
57. D. Calvanese, G. De Giacomo, M. Lenzerini, Answering queries using views over description logics knowledge bases, in: Proc. of the 17th Nat. Conf. on Artificial Intelligence, AAAI 2000, 2000, pp. 386-391.
58. U. Hustadt, B. Motik, and U. Sattler Reasoning in description logics by a reduction to Disjunctive Datalog J. Automat. Reason. 39 3 2007 351 384 (Pubitemid 47340921)