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. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-45653-8_43 | LPAR |
Keywords | Field | DocType |
coherent data integration,robust application,abductive method,abductive inference procedure,coherent composition,abductive system,input databases,integrated data,consistent output database,existing application,satisfiability,knowledge base | Data integration,Distributed knowledge,Data mining,Relational database,Inference,Computer science,Algorithm,Theoretical computer science,Data integrity,Abductive reasoning,Logic programming,Knowledge base | Conference |
ISBN | Citations | PageRank |
3-540-42957-3 | 7 | 0.52 |
References | Authors | |
28 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ofer Arieli | 1 | 705 | 51.54 |
Bert Van Nuffelen | 2 | 189 | 12.33 |
Marc Denecker | 3 | 1626 | 106.40 |
Maurice Bruynooghe | 4 | 2767 | 226.05 |