Abstract
The DLV system is currently employed in projects on data integration – a challenging application area for Answer Set Programming. The present system description illustrates some new optimization techniques, which significantly enhance the general performance of DLV, and especially in the context of data integration.
This work was supported by the European Commission, under projects INFOMIX (IST-2001-33570), and WASP (IST-2001-37004).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
INFOMIX project (IST-2001-33570), http://www.mat.unical.it/infomix/
Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions., 27–41 (2000)
Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 14–30. Springer, Heidelberg (2004)
Barceló, P., Bertossi, L.: Repairing databases with annotated predicate logic. In: NMR 2002 (2002)
Bravo, L., Bertossi, L.E.: Logic Programs for Consistently Querying Data Integration Systems. In: Proceedings of IJCAI 2003, pp. 10–15 (2003)
Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE TKDE 9(3), 448–463 (1997)
Cal‘ı, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proceedings of IJCAI 2003, pp. 16–21 (2003)
Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic Set Method for Disjunctive Datalog Programs. In: Proceedings of ICLP 2004 (2004) (to appear)
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Nonmonotonic Reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol. 1265, pp. 363–374. Springer, Heidelberg (1997)
Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 348–364. Springer, Heidelberg (2001)
Leone, N., Perri, S., Scarcello, F.: Backjumping Techniques for Rules Instantiation in the DLV System. In: Proceedings of NMR 2004, pp. 258–266 (2004)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. In: ACM TOCL (2004) (to appear), Available via http://www.arxiv.org/ps/cs.AI/0211004
Ullman, J.D.: Principles of Database and Knowledge Base Systems (1989)
Lembo, D., Lenzerini, M., Rosati, R.: Source Inconsistency and Incompleteness in Data Integration. In: KRDB 2002 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calimeri, F. et al. (2004). New DLV Features for Data Integration. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive