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. © Springer-Verlag Berlin Heidelberg 2005.

Data integration: a challenging ASP application / Nicola, Leone; Thomas, Eiter; Wolfgang, Faber; Michael, Fink; Georg, Gottlob; Luigi, Granata; Gianluigi, Greco; E., Kalka; Giovambattista, Ianni; Lembo, Domenico; Lenzerini, Maurizio; Vincenzino, Lio; Bartosz, Nowicki; Rosati, Riccardo; Ruzzi, Marco; Witold, Staniszkis; Giorgio, Terracina. - 3662 LNAI:(2005), pp. 379-383. (Intervento presentato al convegno 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005 tenutosi a Diamante; Italy) [10.1007/11546207_31].

Data integration: a challenging ASP application

LEMBO, Domenico;LENZERINI, Maurizio;ROSATI, Riccardo;RUZZI, MARCO;
2005

Abstract

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. © Springer-Verlag Berlin Heidelberg 2005.
2005
8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005
database systems; cleaning; integrity constraints
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Data integration: a challenging ASP application / Nicola, Leone; Thomas, Eiter; Wolfgang, Faber; Michael, Fink; Georg, Gottlob; Luigi, Granata; Gianluigi, Greco; E., Kalka; Giovambattista, Ianni; Lembo, Domenico; Lenzerini, Maurizio; Vincenzino, Lio; Bartosz, Nowicki; Rosati, Riccardo; Ruzzi, Marco; Witold, Staniszkis; Giorgio, Terracina. - 3662 LNAI:(2005), pp. 379-383. (Intervento presentato al convegno 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005 tenutosi a Diamante; Italy) [10.1007/11546207_31].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/357752
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact