ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framework for database schema integration. It allows us to to uniformly represent and reason with independent source databases that contain information about a common domain, but may have different schemas. The ID-Logic theories that are obtained are called mediator-based systems. We show that these theories properly capture the common methods for data integration (i.e., global-as view and local-as-view with either exact or partial definitions), and apply on them a robust abductive inference technique for query answering. © Springer-Verlag 2004.
CITATION STYLE
Van Nuffelen, B., Cortés-Calabuig, A., Denecker, M., Arieli, O., & Bruynooghe, M. (2004). Data integration using ID-logic. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3084, 67–81. https://doi.org/10.1007/978-3-540-25975-6_7
Mendeley helps you to discover research relevant for your work.