International Semantic Web Conference

The Semantic Web - ISWC 2015 pp 217-234 | Cite as

Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity

  • Domenico Lembo
  • Jose Mora
  • Riccardo Rosati
  • Domenico Fabio Savo
  • Evgenij Thorstensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9366)

Abstract

Ontology-based data access (OBDA) is a recent paradigm for accessing data sources through an ontology that acts as a conceptual, integrated view of the data, and declarative mappings that connect the ontology to the data sources. We study the formal analysis of mappings in OBDA. Specifically, we focus on the problem of identifying mapping inconsistency and redundancy, two of the most important anomalies for mappings in OBDA. We consider a wide range of ontology languages that comprises OWL 2 and all its profiles, and examine mapping languages of different expressiveness over relational databases. We provide algorithms and establish tight complexity bounds for the decision problems associated with mapping inconsistency and redundancy. Our results prove that, in our general framework, such forms of mapping analysis enjoy nice computational properties, in the sense that they are not harder than standard reasoning tasks over the ontology or over the relational database schema.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co. (1995)Google Scholar
  2. 2.
    Antonioli, N., Castanò, F., Coletta, S., Grossi, S., Lembo, D., Lenzerini, M., Poggi, A., Virardi, E., Castracane, P.: Ontology-based data management for the Italian public debt. In: Proc. of FOIS, pp. 372–385 (2014)Google Scholar
  3. 3.
    Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Foundations of Data Exchange. Cambridge University Press (2014)Google Scholar
  4. 4.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \({\cal EL}\) envelope. In: Proc. of IJCAI, pp. 364–369 (2005)Google Scholar
  5. 5.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. JAR 39(3), 385–429 (2007)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Civili, C., Console, M., De Giacomo, G., Lembo, D., Lenzerini, M., Lepore, L., Mancini, R., Poggi, A., Rosati, R., Ruzzi, M., Santarelli, V., Savo, D.F.: MASTRO STUDIO: Managing ontology-based data access applications. PVLDB 6, 1314–1317 (2013)Google Scholar
  7. 7.
    Das, S., Sundara, S., Cyganiak, R.: R2RML: RDB to RDF Mapping Language. W3C RDB2RDF Working Group, W3C recommendation (September 2012)Google Scholar
  8. 8.
    Di Pinto, F., Lembo, D., Lenzerini, M., Mancini, R., Poggi, A., Rosati, R., Ruzzi, M., Savo, D.F.: Optimizing query rewriting in ontology-based data access. In: Proc. of EDBT, pp. 561–572. ACM Press (2013)Google Scholar
  9. 9.
    Doan, A., Halevy, A.Y., Ives, Z.G.: Principles of Data Integration. Morgan Kaufmann (2012)Google Scholar
  10. 10.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. TCS 336(1), 89–124 (2005)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Giese, M., Soylu, A., Vega-Gorgojo, G., Waaler, A., Haase, P., Jiménez-Ruiz, E., Lanti, D., Rezk, M., Xiao, G., Özçep, Ö.L., Rosati, R.: Optique: Zooming in on big data. IEEE Computer 48(3), 60–67 (2015)CrossRefGoogle Scholar
  12. 12.
    Gottlob, G., Pichler, R., Savenkov, V.: Normalization and optimization of schema mappings. VLDBJ 20(2), 277–302 (2011)Google Scholar
  13. 13.
    Haase, P., et al.: Optique system: towards ontology and mapping management in OBDA solutions. In: Proc. of WoDOOM, pp. 21–32 (2013)Google Scholar
  14. 14.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \({\cal SROIQ}\). In: Proc. of KR, pp. 57–67 (2006)Google Scholar
  15. 15.
    Kharlamov, E., et al.: Optique 1.0: Semantic access to big data: the case of norwegian petroleum directorate’s factpages. In: Proc. of ISWC, pp. 65–68 (2013)Google Scholar
  16. 16.
    Kontchakov, R., Zakharyaschev, M.: An introduction to description logics and query rewriting. In: Koubarakis, M., Stamou, G., Stoilos, G., Horrocks, I., Kolaitis, P., Lausen, G., Weikum, G. (eds.) Reasoning Web. LNCS, vol. 8714, pp. 195–244. Springer, Heidelberg (2014) Google Scholar
  17. 17.
    Lembo, D., Mora, J., Rosati, R., Savo, D.F., Thorstensen, E.: Towards mapping analysis in ontology-based data access. In: Proc. of RR, pp. 108–123 (2014)Google Scholar
  18. 18.
    Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  19. 19.
    Rodríguez-Muro, M., Kontchakov, R., Zakharyaschev, M.: Ontology-based data access: Ontop of databases. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 558–573. Springer, Heidelberg (2013) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Domenico Lembo
    • 1
  • Jose Mora
    • 1
  • Riccardo Rosati
    • 1
  • Domenico Fabio Savo
    • 1
  • Evgenij Thorstensen
    • 2
  1. 1.Sapienza Università di RomaRomeItaly
  2. 2.University of OsloOsloNorway

Personalised recommendations