Inconsistency tolerance in P2P data integration: An epistemic logic approach

Information Systems

Volumn 33, Issue 4-5, 2008, Pages 360-384

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lembo, Domenico ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Computational complexity; Consistent query answering; Data integration; Epistemic logic; Peer data management

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; INTEROPERABILITY; KNOWLEDGE MANAGEMENT; QUERY PROCESSING;

CONSISTENT QUERY ANSWERING; DATA INTEGRATION; EPISTEMIC LOGIC; PEER DATA MANAGEMENT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 43049138060     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2008.01.007     Document Type: Article

References (45)

1. M. Lenzerini, Data integration: a theoretical perspective, in: Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002), 2002, pp. 233-246.
2. A. Halevy, Z. Ives, D. Suciu, I. Tatarinov, Schema mediation in peer data management systems, in: Proceedings of the 19th IEEE International Conference on Data Engineering (ICDE 2003), 2003, pp. 505-516.
3. P.A. Bernstein, F. Giunchiglia, A. Kementsietsidis, J. Mylopoulos, L. Serafini, I. Zaihrayeu, Data management for peer-to-peer computing: A vision, in: Proceedings of the 5th International Workshop on the Web and Databases (WebDB 2002), 2002.
4. S. Gribble, A. Halevy, Z. Ives, M. Rodrig, D. Suciu, What can databases do for peer-to-peer?, in: Proceedings of the 4th International Workshop on the Web and Databases (WebDB 2001), 2001.
5. D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, Logical foundations of peer-to-peer data integration, in: Proceedings of the 23rd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2004), 2004, pp. 241-251.
6. E. Franconi, G. Kuper, A. Lopatenko, L. Serafini, A robust logical and computational characterisation of peer-to-peer database systems, in: Proceedings of the VLDB International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2003), 2003.
7. I. Tatarinov, A. Halevy, Efficient query reformulation in peer data management, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004.
8. J. Madhavan, P.A. Bernstein, P. Domingos, A.Y. Halevy, Representing and reasoning about mappings between domain models, in: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002), 2002, pp. 80-86.
9. Fagin R., Kolaitis P.G., and Popa L. Data exchange: getting to the core. ACM Trans. Database Syst. 30 1 (2005) 174-210
10. M. Arenas, P. Barcelo, R. Fagin, L. Libkin, Locally consistent transformations and query answering in data exchange, in: Proceedings of the 23rd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2004), 2004, pp. 229-240.
11. Alchourrón C.E., Gärdenfors P., and Makinson D. On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic 50 (1985) 510-530
12. Gärdenfors P., and Rott H. Belief revision. Handbook of Logic in Artificial Intelligence and Logic Programming vol. 4 (1995), Oxford University Press, Oxford 35-132
13. R. Fagin, J.D. Ullman, M.Y. Vardi, On the semantics of updates in databases, in: Proceedings of the 2nd ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'83), 1983, pp. 352-365.
14. M. Arenas, L.E. Bertossi, J. Chomicki, Consistent query answers in inconsistent databases, in: Proceedings of the 18th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'99), 1999, pp. 68-79.
15. A. Calí, D. Lembo, R. Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, in: Proceedings of the 22nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2003), 2003, pp. 260-271.
16. A. Calí, D. Lembo, R. Rosati, Query rewriting and answering under constraints in data integration systems, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 16-21.
17. L. Bravo, L. Bertossi, Logic programming for consistently querying data integration systems, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 10-15.
18. L.E. Bertossi, L. Bravo, Query answering in peer-to-peer data exchange systems, in: Proceedings of the EDBT Workshop on Peer-to-Peer Computing and Databases (P2P&DB 2004), 2004, pp. 476-485.
19. P. Chatalic, G. H. Nguyen, M.-C. Rousset, Reasoning with inconsistencie in propositional peer-to-peer inference systems, in: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), 2006.
20. Halpern J.Y., and Moses Y. A guide to completeness and complexity for modal logics of knowledge and belief. Art. Intell. 54 (1992) 319-379
21. Levesque H.J., and Lakemeyer G. The Logic of Knowledge Bases (2001), MIT Press, Cambridge
22. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), MIT Press, Cambridge
23. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati, Inconsistency tolerance in P2P data integration: an epistemic logic approach, in: Proceedings of the 10th International Symposium on Database Programming Languages (DBPL 2005), 2005, pp. 90-105.
24. Hughes G.E., and Cresswell M.J. A Companion to Modal Logic (1984), Methuen, London, UK
25. Hintikka J. Knowledge and Belief (1962), Cornell University Press, Ithaca, NY
26. V. Lifschitz, Nonmonotonic databases and epistemic queries, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), 1991, pp. 381-386.
27. Lin F., and Shoham Y. A logic of knowledge and justified assumptions. Artif. Intell. 57 2-3 (1992) 271-289
28. Lifschitz V. Minimal belief and negation as failure. Artif. Intell. 70 (1994) 53-72
29. Rosati R. Reasoning about minimal belief and negation as failure. J. Artif. Intell. Res. 11 (1999) 277-300
30. Stalnaker R. A note on non-monotonic modal logic. Artif. Intell. 64 2 (1993) 183-196
31. Donini F.M., Nardi D., and Rosati R. Ground nonmonotonic modal logics. J. Logic Comput. 7 4 (1997) 523-548
32. Reiter R. A logic for default reasoning. Artif. Intell. 13 (1980) 81-132
33. De Giacomo G., Iocchi L., Nardi D., and Rosati R. A theory and implementation of cognitive mobile robots. J. Logic Comput. 9 5 (1999) 759-785
34. L. Caroprese, S. Greco, C. Sirangelo, E. Zumpano, A logic based approach to P2P databases, in: Proceedings of the 13th International Conference on Database Systems (SEBD 2005), 2005, pp. 67-74.
35. A.Y. Halevy, Z.G. Ives, P. Mork, I. Tatarinov, Piazza: data management infrastructure for semantic web applications, in: Proceedings of the 12th International World Wide Web Conference (WWW 2003), 2003, pp. 556-567.
36. Greco G., Greco S., and Zumpano E. A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowledge Data Eng. 15 6 (2003) 1389-1408
37. Wijsen J. Database repairing using updates. ACM Trans. Database Syst. 30 3 (2005) 722-768
38. L. Bertossi, J. Chomicki, A. Cortes, C. Gutierrez, Consistent answers from integrated data sources, in: Proceedings of the 6th International Conference on Flexible Query Answering Systems (FQAS 2002), 2002, pp. 71-85.
39. Bravo L., and Bertossi L. Disjunctive deductive databases for computing certain and consistent answers to queries from mediated data integration systems. J. Appl. Logic (Special Issue on Logic-based Methods for Information Integration) 3 2 (2005) 329-367
40. Adjiman P., Chatalic P., Gouasdoué F., Rousset M.-C., and Simon L. Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res. 25 (2006) 269-314
41. P. Adjiman, P. Chatalic, F. Gouasdoué, M.-C. Rousset, L. Simon, Scalability study of peer-to-peer consequence finding, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), 2005, pp. 351-356.
42. Chomicki J., Marcinkowski J., and Staworko S. Hippo: a system for computing consistent query answers to a class of SQL queries. Proceedings of the 9th International Conference on Extending Database Technology (EDBT 2004) (2004), Springer, Berlin 841-844
43. Fuxman A., and Miller R.J. First-order query rewriting for inconsistent databases. J. Comput. Sys. Sci. 73 4 (2007) 610-635
44. L. Grieco, D. Lembo, M. Ruzzi, R. Rosati, Consistent query answering under key and exclusion dependencies: Algorithms and experiments, in: Proceedings of the 14th International Conference on Information and Knowledge Management (CIKM 2005), 2005, pp. 792-799.
45. A. Kementsietsidis, M. Arenas, R.J. Miller, Mapping data in peer-to-peer systems: semantics and algorithmic issues, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 2003, pp. 325-336.