Data Integration: a Challenging ASP Application

Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina.
In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), Lecture Notes in Computer Science, volume 3662, pages 379-383, Springer, 2005. ISBN 3-540-28538-5.



The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information integration, utilizing the ASP system DLV. While INFOMIX is based on solid theoretical foundations, it is a user-friendly system, endowed with graphical user interfaces for the average database user and administrator, respectively. The main features of the INFOMIX system are: (i) a comprehensive information model, through which the knowledge about the integration domain can be declaratively specified, (ii) capability of dealing with data that may result incomplete and/or inconsistent with respect to global constraints, (iii) advanced information integration algorithms, which reduce (in a sound and complete way) query answering to cautious reasoning on disjunctive Datalog programs, (iv) sophisticated optimization techniques guaranteeing the effectiveness of query evaluation in INFOMIX, (v) a rich data acquisition and transformation framework for accessing heterogeneous data in many formats including relational, XML, and HTML data.

Bibtex entry:

@String{LPNMR-05 = "Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR~2005)"}

@String{LNCS = "Lecture Notes in Computer Science"}

@String{SV = "Springer"}

author = "Nicola Leone and Thomas Eiter and Wolfgang Faber and Michael Fink and Georg Gottlob and Luigi Granata and Gianluigi Greco and Edyta Kalka and Giovambattista Ianni and Domenico Lembo and Maurizio Lenzerini and Vincenzino Lio and Bartosz Nowicki and Riccardo Rosati and Marco Ruzzi and Witold Staniszkis and Giorgio Terracina",
title = "Data Integration: a Challenging ASP Application",
booktitle = LPNMR-05,
pages = "379--383",
publisher = SV,
series = LNCS,
volume = 3662,
year = 2005,
isbn = "3-540-28538-5",

Link to electronic version of published paper