Aggregate queries over ontologies

ABSTRACT

Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for aggregate queries over ontologies. In this work we investigate the latter problem. We propose syntax and semantics for epistemic aggregate queries over ontologies and study query answering for MAX, MIN, COUNT, CNTD, SUM, AVG queries for the ontology language DL-Lite_A.

REFERENCES

• 1: Serge Abiteboul , Richard Hull , Victor Vianu, Foundations of Databases: The Logical Level, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 2: A. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QuOnto: Querying ontologies. In Proc. of AAAI 2005, pages 1670--1671.
• 3: Foto Afrati , Phokion G. Kolaitis, Answering aggregate queries in data exchange, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 09-12, 2008, Vancouver, Canada [doi>10.1145/1376916.1376936]
• 4: Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki , Xin He , Vijay Raghavan , Jeremy Spinrad, Scalar aggregation in inconsistent databases, Theoretical Computer Science, v.296 n.3, p.405-434, 14 March 2003 [doi>10.1016/S0304-3975(02)00737-5]
• 5: Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Data integration under integrity constraints, Information Systems, v.29 n.2, p.147-163, April 2004 [doi>10.1016/S0306-4379(03)00050-4]
• 6: Andrea Calì , Domenico Lembo , Riccardo Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.260-271, June 09-11, 2003, San Diego, California [doi>10.1145/773153.773179]
• 7: D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. EQL-Lite: Effective first-order query processing in description logics. In Proc. of IJCAI 2007, pages 274--279.
• 8: Diego Calvanese , Giuseppe Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, v.39 n.3, p.385-429, October 2007 [doi>10.1007/s10817-007-9078-x]
• 9: Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, On the decidability of query containment under constraints, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.149-158, June 01-04, 1998, Seattle, Washington, United States [doi>10.1145/275487.275504]
• 10: Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Conjunctive query containment and answering under description logic constraints, ACM Transactions on Computational Logic (TOCL), v.9 n.3, p.1-31, June 2008 [doi>10.1145/1352582.1352590]
• 11: F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Deduction in concept languages: From subsumption to instance checking. J. of Log. and Comp., 4(4):423--452, 1994.
• 12: B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive query answering for the description logic SHIQ. J. of Artificial Intel ligence Research, 31:151--198, 2008.
• 13: Jeff Heflin , James Hendler, A Portrait of the Semantic Web in Action, IEEE Intelligent Systems, v.16 n.2, p.54-59, March 2001 [doi>10.1109/5254.920600]
• 14: Jens Lechtenbörger , Hua Shu , Gottfried Vossen, Aggregate Queries Over Conditional Tables, Journal of Intelligent Information Systems, v.19 n.3, p.343-362, November 2002 [doi>10.1023/A:1020197923385]
• 15: Maurizio Lenzerini, Data integration: a theoretical perspective, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin [doi>10.1145/543613.543644]
• 16: Magdalena Ortiz , Diego Calvanese , Thomas Eiter, Data Complexity of Query Answering in Expressive Description Logics via Tableaux, Journal of Automated Reasoning, v.41 n.1, p.61-98, July 2008 [doi>10.1007/s10817-008-9102-9]
• 17: A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. J. on Data Semantics, X:133--173, 2008.
• 18: R. Rosati. The limits of querying ontologies. In Proc. of ICDT 2007, volume 4353 of LNCS, pages 164--178.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.m Miscellaneous

General Terms:
Algorithms, Languages, Theory

Keywords:
aggregate queries, description logic, incomplete information, ontology languages