Advertisement

The What-To-Ask Problem for Ontology-Based Peers

  • Diego CalvaneseEmail author
  • Giuseppe De Giacomo
  • Domenico Lembo
  • Maurizio Lenzerini
  • Riccardo Rosati
Chapter
  • 399 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11560)

Abstract

The issue of cooperation, integration, and coordination between information peers has been addressed over the years both in the context of the Semantic Web and in several other networked environments, including data integration, Peer-to-Peer and Grid computing, service-oriented computing, distributed agent systems, and collaborative data sharing. One of the main problems arising in such contexts is how to exploit the mappings between peers in order to answer queries posed to one peer. We address this issue for peers managing data through ontologies and in particular focus on ontologies specified in logics of the DL-Lite family. Our goal is to present some basic, fundamental results on this problem. In particular, we focus on a simplified setting based on just two interoperating peers, and we investigate how to solve the so-called “What-To-Ask” problem: find a way to answer queries posed to a peer by relying only on the query answering service available at the queried peer and at the other peer. We show both a positive and a negative result. Namely, we first prove that a solution to this problem always exists when the ontology is specified in \(\textit{DL-Lite}_{\mathcal {R}} \), and we provide an algorithm to compute it. Then, we show that for the case of \(\textit{DL-Lite}_{\mathcal {F}} \) the problem may have no solution. We finally illustrate that a solution to our problem can still be found even for more general networks of peers, and for any language of the DL-Lite family, provided that we interpret mappings according to an epistemic semantics, rather than the usual first-order semantics.

References

  1. 1.
    Aberer, K.: Peer-to-Peer Data Management. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, San Rafael (2011).  https://doi.org/10.2200/S00338ED1V01Y201104DTM015CrossRefzbMATHGoogle Scholar
  2. 2.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publishing Co., Boston (1995)zbMATHGoogle Scholar
  3. 3.
    Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M.C., Simon, L.: Distributed reasoning in a peer-to-peer setting: application to the Semantic Web. J. Artif. Intell. Res. 25, 269–314 (2006)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 364–369 (2005)Google Scholar
  5. 5.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proceedings of the 4th International Workshop on OWL: Experiences and Directions (OWLED DC) (2008)Google Scholar
  6. 6.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  7. 7.
    Baader, F., Marantidis, P., Pensel, M.: The data complexity of answering instance queries in \(\cal{FL}_0\). In: Proceedings of the 27th International World Wide Web Conferences (WWW), pp. 1603–1607 (2018)Google Scholar
  8. 8.
    Bernstein, P.A., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serafini, L., Zaihrayeu, I.: Data management for peer-to-peer computing: a vision. In: Proceedings of the 5th International Workshop on the Web and Databases (WebDB) (2002)Google Scholar
  9. 9.
    Bienvenu, M., Bourgaux, C., Goasdoué, F.: Computing and explaining query answers over inconsistent DL-Lite knowledge bases. J. Artif. Intell. Res. 64, 563–644 (2019).  https://doi.org/10.1613/jair.1.11395CrossRefzbMATHGoogle Scholar
  10. 10.
    Blackburn, P., van Benthem, J.F.A.K., Wolter, F.: Handbook of Modal Logic. Elsevier, New York (2006)zbMATHGoogle Scholar
  11. 11.
    Bravo, L., Bertossi, L.: Disjunctive deductive databases for computing certain and consistent answers to queries from mediated data integration systems. J. Appl. Logic 3(2), 329–367 (2005). Special Issue on Logic-based Methods for Information IntegrationMathSciNetCrossRefGoogle Scholar
  12. 12.
    Calvanese, D., Damaggio, E., De Giacomo, G., Lenzerini, M., Rosati, R.: Semantic data integration in P2P systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds.) DBISP2P 2003. LNCS, vol. 2944, pp. 77–90. Springer, Heidelberg (2004).  https://doi.org/10.1007/978-3-540-24629-9_7CrossRefGoogle Scholar
  13. 13.
    Calvanese, D., et al.: Ontologies and databases: the DL-Lite approach. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 255–356. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-642-03754-2_7CrossRefGoogle Scholar
  14. 14.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: What to ask to a peer: ontology-based query reformulation. In: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 469–478 (2004)Google Scholar
  15. 15.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: effective first-order query processing in description logics. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), pp. 274–279 (2007)Google Scholar
  16. 16.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. Inf. Syst. 33(4–5), 360–384 (2008)CrossRefGoogle Scholar
  18. 18.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artif. Intell. 195, 335–360 (2013).  https://doi.org/10.1016/j.artint.2012.10.003MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: Proceedings of the 23rd ACM Symposium on Principles of Database Systems (PODS), pp. 241–251 (2004)Google Scholar
  20. 20.
    Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1980)CrossRefGoogle Scholar
  21. 21.
    De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: On reconciling data exchange, data integration, and peer data management. In: Proceedings of the 26th ACM Symposium on Principles of Database Systems (PODS), pp. 133–142 (2007)Google Scholar
  22. 22.
    van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B. (eds.): Handbook of Epistemic Logic. College Publications, Kolkata (2015)zbMATHGoogle Scholar
  23. 23.
    Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: second-order dependencies to the rescue. In: Proceedings of the 23rd ACM Symposium on Principles of Database Systems (PODS) (2004)Google Scholar
  24. 24.
    Fuxman, A., Kolaitis, P.G., Miller, R., Tan, W.C.: Peer data exchange. In: Proceedings of the 24th ACM Symposium on Principles of Database Systems (PODS), pp. 160–171 (2005)Google Scholar
  25. 25.
    Ghidini, C., Serafini, L.: Distributed first order logic. Artif. Intell. 253, 1–39 (2017).  https://doi.org/10.1016/j.artint.2017.08.008MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: Proceedings of the 19th IEEE International Conference on Data Engineering (ICDE), pp. 505–516 (2003)Google Scholar
  27. 27.
    Halevy, A.Y.: Theory of answering queries using views. SIGMOD Rec. 29(4), 40–47 (2000)CrossRefGoogle Scholar
  28. 28.
    Halevy, A.Y.: Answering queries using views: a survey. Very Large Database J. 10(4), 270–294 (2001)CrossRefGoogle Scholar
  29. 29.
    Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Methuen, London (1984)zbMATHGoogle Scholar
  30. 30.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: Proceedings of the 22nd ACM Symposium on Principles of Database Systems (PODS), pp. 1–14. ACM Press and Addison Wesley (2003).  https://doi.org/10.1145/773153.773154
  31. 31.
    Ives, Z.G.: Updates and transactions in peer-to-peer systems. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, 2nd edn. Springer, New York (2018).  https://doi.org/10.1007/978-1-4614-8265-9_1222CrossRefGoogle Scholar
  32. 32.
    Karvounarakis, G., Green, T.J., Ives, Z.G., Tannen, V.: Collaborative data sharing via update exchange and provenance. ACM Trans. Database Syst. 38(3), 19:1–19:42 (2013).  https://doi.org/10.1145/2500127MathSciNetCrossRefGoogle Scholar
  33. 33.
    Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Limits of schema mappings. Theory Comput. Syst. 62(4), 899–940 (2018).  https://doi.org/10.1007/s00224-017-9812-7MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 247–257 (2010)Google Scholar
  35. 35.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pp. 2656–2661 (2011)Google Scholar
  36. 36.
    Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. 33, 3–29 (2015).  https://doi.org/10.1016/j.websem.2015.04.002CrossRefGoogle Scholar
  37. 37.
    Lenzerini, M.: Data integration: A theoretical perspective. In: Proceedings of the 21st ACM Symposium on Principles of Database Systems (PODS), pp. 233–246 (2002).  https://doi.org/10.1145/543613.543644
  38. 38.
    Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press, Cambridge (2001)CrossRefGoogle Scholar
  39. 39.
    Madhavan, J., Halevy, A.Y.: Composing mappings among data sources. In: Proceedings of the 29th International Conference on Very Large Data Bases (VLDB), pp. 572–583 (2003)CrossRefGoogle Scholar
  40. 40.
    Mattos, N.M.: Integrating information for on demand computing. In: Proceedings of the 29th International Conference on Very Large Data Bases (VLDB), pp. 8–14 (2003)CrossRefGoogle Scholar
  41. 41.
    Ortiz, M., Rudolph, S., Simkus, M.: Query answering in the Horn fragments of the description logics \(\cal{SHOIQ}\) and \(\cal{SROIQ}\). In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pp. 1039–1044. IJCAI/AAAI (2011)Google Scholar
  42. 42.
    Papazoglou, M.P., Krämer, B.J., Yang, J.: Leveraging web-services and peer-to-peer networks. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 485–501. Springer, Heidelberg (2003).  https://doi.org/10.1007/3-540-45017-3_33CrossRefGoogle Scholar
  43. 43.
    Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133–173 (2008).  https://doi.org/10.1007/978-3-540-77688-8_5CrossRefzbMATHGoogle Scholar
  44. 44.
    Roth, A., Skritek, S.: Peer data management. In: Data Exchange, Integration, and Streams, Dagstuhl Follow-Ups, vol. 5, pp. 185–215. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2013).  https://doi.org/10.4230/DFU.Vol5.10452.185
  45. 45.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Publishing Co., Boston (1998)Google Scholar
  46. 46.
    Serafini, L., Ghidini, C.: Using wrapper agents to answer queries in distributed information systems. In: Yakhno, T. (ed.) ADVIS 2000. LNCS, vol. 1909, pp. 331–340. Springer, Heidelberg (2000).  https://doi.org/10.1007/3-540-40888-6_32CrossRefzbMATHGoogle Scholar
  47. 47.
    Staworko, S., Chomicki, J., Marcinkowski, J.: Prioritized repairing and consistent query answering in relational databases. Ann. Math. Artif. Intell. 64(2–3), 209–246 (2012).  https://doi.org/10.1007/s10472-012-9288-8MathSciNetCrossRefzbMATHGoogle Scholar
  48. 48.
    Ullman, J.D.: Information integration using logical views. In: Afrati, F., Kolaitis, P. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 19–40. Springer, Heidelberg (1997).  https://doi.org/10.1007/3-540-62222-5_34CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Free University of Bozen-BolzanoBolzanoItaly
  2. 2.Sapienza Università di RomaRomeItaly

Personalised recommendations