{"type":"ScholarlyArticle","title":"Mapping Repair in Ontology-based Data Access Evolving Systems","authors":[{"name":"Domenico Lembo","slug":"domenico-lembo","given":"Domenico","family":"Lembo","affiliation":"Sapienza Università di Roma"},{"name":"Riccardo Rosati","slug":"riccardo-rosati","given":"Riccardo","family":"Rosati","affiliation":"Sapienza Università di Roma"},{"name":"Valerio Santarelli","slug":"valerio-santarelli","given":"Valerio","family":"Santarelli","affiliation":"Sapienza Università di Roma"},{"name":"Domenico Fabio Savo","slug":"domenico-fabio-savo","given":"Domenico Fabio","family":"Savo","affiliation":"Sapienza Università di Roma"},{"name":"Evgenij Thorstensen","slug":"evgenij-thorstensen","given":"Evgenij","family":"Thorstensen","affiliation":"University of Oslo"}],"abstract":"In this paper we study the evolution of ontology-based data access (OBDA) specifications, and focus on the case in which the ontology and/or the data source schema change, which may require a modification to the mapping between them to preserve both consistency and knowledge. Our approach is based on the idea of repairing the mapping according to the usual principle of minimal change and on a recent, mapping-based notion of consistency of the specification. We define and analyze two notions of mapping repair under ontology and source schema update. We then present a set of results on the complexity of query answering in the above framework, when the ontology is expressed in DL-LiteR.","doi":"10.24963/ijcai.2017/161","url":"https://ijcai.org/proceedings/2017/161","pdf":"https://ijcai.org/proceedings/2017/0161.pdf","markdown":"https://ijcai.org/proceedings/2017/161.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/161","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":161,"pages":{"first":1160,"last":1166},"keywords":["Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief","Knowledge Representation, Reasoning, and Logic: Computational Complexity of Reasoning","Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.","title":"Foundations of Databases","authors":"Serge Abiteboul, Richard Hull, Victor Vianu","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Antonioli et al., 2014] Natalia Antonioli, Francesco Cas- tanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, and Patrizia Castracane. Ontology-based data management for the italian public debt. In Proc. of the 8th Int. Conf. on Formal Ontology in Information Systems (FOIS 2014), pages 372-385, 2014.","title":"Ontology-based data management for the italian public debt","authors":"Natalia Antonioli, Francesco Castanò, Spartaco Coletta, Stefano Grossi, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Emanuela Virardi, Patrizia Castracane","year":"2014","venue":"Proc. of the 8th Int. Conf. on Formal Ontology in Information Systems (FOIS 2014)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2007] Franz Baader, Diego Calvanese, Deb- orah McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: The- ory, Implementation and Applications. Cambridge Univer- sity Press, 2nd edition, 2007.","title":"The Description Logic Handbook: Theory, Implementation and Applications","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Calvanese et al., 2007] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. Tractable reasoning and efficient query an- swering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.","title":"Tractable reasoning and efficient query answering in description logics: The DL-Lite family","authors":"Calvanese","year":"2007","venue":"J. of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Calvanese et al., 2009] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, and Marco Ruzzi. Using OWL in data integra- tion. In Semantic Web Information Management -A Model- Based Perspective, pages 397-424. Springer, 2009.","title":"Using OWL in data integration","authors":"Calvanese","year":"2009","venue":"Semantic Web Information Management -A Model-Based Perspective","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Das et al., 2012] Souripriya Das, Seema Sundara, and Richard Cyganiak. R2RML: RDB to RDF Mapping Lan- guage. W3C RDB2RDF Working Group, W3C recommen- dation, September 2012.","title":"Souripriya Das, Seema Sundara, and Richard Cyganiak. R2RML: RDB to RDF Mapping Language. W3C RDB2RDF Working Group, W3C recommendation","authors":"Das","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Doan et al., 2012] AnHai Doan, Alon Y. Halevy, and Zachary G. Ives. Principles of Data Integration. Mor- gan Kaufmann, 2012. [Fagin et al., 1983]","title":"Principles of Data Integration","authors":"Doan","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. On the semantics of updates in databases. In Proc. of the 2nd ACM SIGACT SIGMOD Symp. on Prin- ciples of Database Systems (PODS'83), pages 352-365, 1983.","title":"On the semantics of updates in databases","authors":"Ronald Fagin, Jeffrey D Ullman, Moshe Y Vardi","year":"1983","venue":"Proc. of the 2nd ACM SIGACT SIGMOD Symp. on Principles of Database Systems (PODS'83)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Giese et al., 2015] Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez- Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, Özgür L. Özc ¸ep, and Riccardo Rosati. Optique: Zooming in on big data. IEEE Computer, 48(3):60-67, 2015.","title":"Optique: Zooming in on big data","authors":"Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, L Özgür, Riccardo Özc, Rosati","year":"2015","venue":"IEEE Computer","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hitzler et al., 2012] Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, and Sebastian Rudolph. OWL 2 Web Ontology Language: Primer (second edi- tion). W3C Recommendation, World Wide Web Consor- tium, December 2012. Available at http://www.w3.org/TR/ owl2-primer/.","title":"OWL 2 Web Ontology Language: Primer (second edition). W3C Recommendation, World Wide Web Consortium","authors":"Pascal Hitzler, Markus Krötzsch, Bijan Parsia, F Peter, Sebastian Patel-Schneider, Rudolph","year":"2012","venue":null,"doi":null,"url":"http://www.w3.org/TR/owl2-primer/","internal_url":null},{"position":11,"raw":"[Jiménez-Ruiz et al., 2013] Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, and Ian Horrocks. Eval- uating mapping repair systems with large biomedical on- tologies. In Proc. of the 26th Int. Workshop on Descrip- tion Logic (DL 2013), volume 1014 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 246-257, 2013.","title":"Evaluating mapping repair systems with large biomedical ontologies","authors":"Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks","year":"2013","venue":"Proc. of the 26th Int. Workshop on Description Logic (DL 2013)","doi":null,"url":"246-257","internal_url":null},{"position":12,"raw":"[Lembo et al., 2014] Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, and Evgenij Thorstensen. Towards mapping analysis in ontology-based data access. In Proc. of the 8th Int. Conf. on Web Reasoning and Rule Systems (RR 2014), pages 108-123, 2014.","title":"Towards mapping analysis in ontology-based data access","authors":"Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen","year":"2014","venue":"Proc. of the 8th Int. Conf. on Web Reasoning and Rule Systems (RR 2014)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lembo et al., 2015] Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, and Evgenij Thorstensen. Mapping analysis in ontology-based data access: Algo- rithms and complexity. In Proc. of the 14th Int. Semantic Web Conf. (ISWC 2015), pages 217-234, 2015.","title":"Mapping analysis in ontology-based data access: Algorithms and complexity","authors":"Domenico Lembo, José Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen","year":"2015","venue":"Proc. of the 14th Int. Semantic Web Conf. (ISWC 2015)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Meilicke et al., 2009] Christian Meilicke, Heiner Stucken- schmidt, and Andrei Tamilin. Reasoning support for map- ping revision. J. of Logic and Computation, 19(5):807-829, 2009.","title":"Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin. Reasoning support for mapping revision","authors":"Meilicke","year":"2009","venue":"J. of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Motik et al., 2009] Boris Motik, Achille Fokoue, Ian Hor- rocks, Zhe Wu, Carsten Lutz, and Bernardo Cuenca Grau. OWL Web Ontology Language profiles. W3C Recom- mendation, World Wide Web Consortium, October 2009. Available at http://www.w3.org/TR/owl-profiles/.","title":"OWL Web Ontology Language profiles","authors":"Boris Motik, Achille Fokoue, Ian Horrocks, Zhe Wu, Carsten Lutz, Bernardo Cuenca Grau","year":"2009","venue":"W3C Recommendation, World Wide Web Consortium","doi":null,"url":"http://www.w3.org/TR/owl-profiles/","internal_url":null},{"position":16,"raw":"[Neuhaus and Vizedom, 2013] Fabian Neuhaus and Amanda Vizedom. Ontology Summit 2013 Communiqué: Towards Ontology Evaluation across the Life Cycle, 2013. Avail- able at http://ontolog.cim3.net/OntologySummit/2013/ communique.html.","title":"Ontology Summit 2013 Communiqué: Towards Ontology Evaluation across the Life Cycle","authors":"Fabian Neuhaus, Amanda Vizedom","year":"2013","venue":null,"doi":null,"url":"http://ontolog.cim3.net/OntologySummit/2013/communique.html","internal_url":null},{"position":17,"raw":"[Poggi et al., 2008] Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenz- erini, and Riccardo Rosati. Linking data to ontologies. J. on Data Semantics, X:133-173, 2008.","title":"Linking data to ontologies","authors":"Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati","year":"2008","venue":"J. on Data Semantics","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Qi et al., 2009] Guilin Qi, Qiu Ji, and Peter Haase. A conflict-based operator for mapping revision. In Proc. of the 8th Int. Semantic Web Conf. (ISWC 2009), pages 521-536, 2009.","title":"A conflict-based operator for mapping revision","authors":"Qi","year":"2009","venue":"Proc. of the 8th Int. Semantic Web Conf. (ISWC 2009)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Rahm and Bernstein, 2006] Erhard Rahm and Philip A. Bernstein. An online bibliography on schema evolution. SIGMOD Record, 35(4):30-31, 2006.","title":"An online bibliography on schema evolution","authors":"Bernstein Rahm, Erhard Rahm, Philip A Bernstein","year":"2006","venue":"SIGMOD Record","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Rodríguez-Muro and Calvanese, 2011] Mariano Rodríguez- Muro and Diego Calvanese. Dependencies: Making ontol- ogy based data access work in practice. In Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2011), volume 749 of CEUR Elec- tronic Workshop Proceedings, http://ceur-ws.org/, 2011.","title":"Mariano Rodríguez-Muro and Diego Calvanese. Dependencies: Making ontology based data access work in practice","authors":"Rodríguez-Muro, Calvanese","year":"2011","venue":"Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2011)","doi":null,"url":"http://ceur-ws.org/,2011","internal_url":null},{"position":21,"raw":"[Zablith et al., 2015] Fouad Zablith, Grigoris Antoniou, Mathieu d'Aquin, Giorgos Flouris, Haridimos Kondylakis, Enrico Motta, Dimitris Plexousakis, and Marta Sabou. On- tology evolution: a process-centric survey. Knowledge Eng. Review, 30(1):45-75, 2015.","title":"Ontology evolution: a process-centric survey","authors":"Fouad Zablith, Grigoris Antoniou, Giorgos Mathieu D'aquin, Haridimos Flouris, Enrico Kondylakis, Dimitris Motta, Marta Plexousakis, Sabou","year":"2015","venue":"Knowledge Eng. Review","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}