Mapping Repair in Ontology-based Data Access Evolving Systems (Extended 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.

[1]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[2]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[3]  Daniel W. Gillman.  Data Semantics , 2017, Encyclopedia of GIS.

[4]  Ian Horrocks,et al.  Evaluating Mapping Repair Systems with Large Biomedical Ontologies , 2013, Description Logics.

[5]  Diego Calvanese,et al.  Using OWL in Data Integration , 2009, Semantic Web Information Management.

[6]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[7]  Maurizio Lenzerini,et al.  Developing Ontology-based Data Management for the Italian Public Debt , 2014, SEBD.

[8]  Peter Haase,et al.  Optique: Zooming in on Big Data , 2015, Computer.

[9]  Erhard Rahm,et al.  An online bibliography on schema evolution , 2006, SGMD.

[10]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[11]  Enrico Motta,et al.  Ontology evolution: a process-centric survey , 2013, The Knowledge Engineering Review.

[12]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[13]  Guilin Qi,et al.  A Conflict-based Operator for Mapping Revision , 2009, Description Logics.

[14]  Alon Y. Halevy,et al.  Principles of Data Integration , 2012 .

[15]  Evgenij Thorstensen,et al.  Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract) , 2015, Description Logics.

[16]  Diego Calvanese,et al.  Dependencies: Making Ontology Based Data Access work in practice , 2011 .

[17]  Alan P. Parkes.  Logic and Computation , 2002 .

[18]  Heiner Stuckenschmidt,et al.  Reasoning Support for Mapping Revision , 2009, J. Log. Comput..

[19]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.