Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-25975-6_7 | ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS |
Keywords | Field | DocType |
knowledge representation,data integrity,first order logic | Data integration,Data mining,Information integration,Knowledge representation and reasoning,Computer science,Description logic,Database schema,First-order logic,Abductive reasoning,Logic programming | Conference |
Volume | ISSN | Citations |
3084 | 0067-8856 | 9 |
PageRank | References | Authors |
0.46 | 29 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bert Van Nuffelen | 1 | 189 | 12.33 |
Álvaro Cortés-Calabuig | 2 | 67 | 4.40 |
Marc Denecker | 3 | 1626 | 106.40 |
Ofer Arieli | 4 | 705 | 51.54 |
Maurice Bruynooghe | 5 | 2767 | 226.05 |