Coherent Composition of Distributed Knowledge-Bases Through Abduction

Abstract We introduce an abductive method for coherent composition of distributed data. Our approach is based on an abductive inference procedure that is applied on a meta-theory that relates different, possibly inconsistent, input databases. Repairs of the integrated data are computed, resultingin a consistent output database that satisfies the meta-theory. Our framework is based on the A -system, which is an abductive system that implements SLDNFA-resolution. The outcome is a robust application that, to the best of our knowledge, is more expressive (thus more general) than any other existing application for coherent data integration.

Authors

• Ofer Arieli
• Bert Van Nuffelen
• Marc Denecker
• Maurice Bruynooghe

Keywords

No keywords are indexed for this paper.