Lecture notes in computer science vol:3084 pages:67-81
International Conference on Advanced Information Systems Engineering (CAiSE 2004) edition:16 location:Riga, Latvia date:June 7-11, 2004
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.