New DLV features for data integration

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 698-701

  Calimeri, Francesco ^a   Citrigno, Manuela ^a   Cumbo, Chiara ^a   Faber, Wolfgang ^b   Leone, Nicola ^a   Perri, Simona ^a   Pfeifer, Gerald ^b  

^a UNIVERSITY OF CALABRIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING; LOGIC PROGRAMMING; DATA REDUCTION; FORMAL LOGIC; MATHEMATICAL MODELS; OPTIMIZATION; PROJECT MANAGEMENT; SET THEORY;

ANSWER SET PROGRAMMING; APPLICATION AREA; OPTIMIZATION TECHNIQUES; SYSTEM DESCRIPTION;

DATA INTEGRATION; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING (ASP); DATA INTEGRATION; DATA MANIPULATION; LOGIC PROGRAMS;

EID: 22944445491     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_60     Document Type: Conference Paper

References (14)

1. INFOMIX project (IST-2001-33570). http://www.mat.unical.it/infomix/.
2. M. Arenas, L. E. Bertossi, and J. Chomicki. Specifying and querying database repairs using logic programs with exceptions. pp. 27-41, 2000.
3. O. Arieli, M. Denecker, B. Van Nuffelen, and M. Bruynooghe. Database repair by signed formulae. In Proceedings of FoIKS 2004, LNCS 2942, pp. 14-30, 2004.
4. P. Barceló and L. Bertossi. Repairing databases with annotated predicate logic. NMR 2002.
5. L. Bravo and L. E. Bertossi. Logic Programs for Consistently Querying Data Integration Systems. In Proceedings of IJCAI'03, pp. 10-15, 2003.
6. M. Cadoli, T. Eiter, and G. Gottlob. Default Logic as a Query Language. IEEE TKDE, 9(3):448-463, 1997.
7. A. Calì, D. Lembo, and R. Rosati. Query rewriting and answering under constraints in data integration systems. In Proceedings of IJCAI 2003, pp. 16-21.
8. C. Cumbo, W. Faber, G. Greco, and N. Leone. Enhancing the Magic Set Method for Disjunctive Datalog Programs. In Proceedings of ICLP 2004. To appear.
9. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Nonmonotonic Reasoning. In Proceedings of LPNMR 1997, n. 1265, LNAI, pp. 363-374.
10. G. Greco, S. Greco, and E. Zumpano. A logic programming approach to the integration, repairing and querying of inconsistent databases. v. 2237 of LNAI, pp. 348-364, 2001.
11. N. Leone, S. Perri, and F. Scarcello. Backjumping Techniques for Rules Instantiation in the DLV System. In Proceedings of NMR2004, pp. 258-266.
12. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM TOCL, 2004. To appear. Available via http://www.arxiv.org/ps/cs. AI/0211004.
13. J. D. Ullman. Principles of Database and Knowledge Base Systems, 1989.
14. D. Lembo, M. Lenzerini, and R. Rosati. Source Inconsistency and Incompleteness in Data Integration. KRDB 2002.