Data integration: A logic-based perspective

AI Magazine

Volumn 26, Issue 1, 2005, Pages 59-70

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA DESCRIPTION; DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC; SEMANTICS;

DATA INTEGRATION; DESCRIPTION LOGIC; SEMANTIC INTEGRATION;

DATA PROCESSING;

EID: 17244382960     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

1. Abiteboul, S.; and Duschka, O. 1998. Complexity of Answering Queries Using Materialized Views. In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (Pods '98), 254-265. New York:. Association for Computing Machinery.
2. Baader, E.; Calvanese, D. Mcguinness, D.; Nardi, D.; and Patel-Schneider, P. F. 2003. eds. The Description Logic Handbook: Theory, Implementation and Applications. New York: Cambridge University Press.
3. Baader, F.; and Nutt, W. 2003. Basic Description Logics. In chapter 2, The Description Logic Handbook: Theory, Implementation, and Applications, ed. F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. F. Patel-Schneider, 43-95. New York: Cambridge University Press.
4. Batini, C.; Ceri, S.; and Navathe, S. B. 1992. Conceptual Database Design, An Entity-Relationship Approach. Menlo Park, CA: Benjamin Cummings Publishing.
5. Berardi, D.; Calì, A.; Calvanese, D.; and De Giacomo, G. 2003. Reasoning on UML Class Diagrams. Technical Report 11-03, Dipartimento Di Informatica E Sistemistica, Università Di Roma "La Sapienza," Rome, Italy.
6. Berardi, D.; Calvanese, D.; and De Giacomo, G. 2001. Reasoning on UML Class Diagrams Using Description Logic Based Systems. Paper presented at the KI-2001 Workshop on Applications of Description Logics. In Ceur Electronic Workshop Proceedings (Ceur-ws.org/vol-44/), Technical University of Aachen, Aachen, Germany.
7. Bernstein, P. A.; Giunchiglia, F.; Kementsietsidis, A.; Mylopoulos, J.; Serafini, I. and Zaihrayeu, I. 2002. Data Management for Peer-to-Peer Computing: A Vision. Paper presented at the Fifth International Workshop on the Web and Databases (Webdb 2002), Madison, WI, June 6-7.
8. Borgida A.; and Brachman, R. J. 2003. Conceptual Modeling with Description Logics. In chapter 10, The Description Logic Handbook: Theory, Implementation, and Applications, ed. F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. F. Patel-Schneider, 349-372. New York: Cambridge University Press.
9. Calì, A.; Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2001. Accessing Data Integration Systems through Conceptual Schemas. In Proceedings of the Twentieth International Conference on Conceptual Modeling (ER 2001), volume 2503, Lecture Notes in Computer Science, 270-284. Berlin: Springer-Verlag
10. Calì, A.; Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2002a. Data Integration under Integrity Constraints. In Proceedings of the Fourteenth International Conference on Advanced Information Systems Engineering (CAISE 2002), volume 2348, Lecture Notes in Computer Science, 262-279. Berlin: Springer-Verlag.
11. Calì, A.; Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2002b. A Formal Framework for Reasoning on UML Class Diagrams. In Proceedings of the Thirteenth International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), volume 2366, Lecture Notes in Computer Science, 503-513. Berlin: Springer-Verlag.
12. Calì, A.; Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2002c. On the Expressive Power of Data Integration Systems. In Proceedings of the Twenty-First International Conference on Conceptual Modeling (ER 2002), volume 2503, Lecture Notes in Computer Science. Berlin: Springer-Verlag.
13. Calì, A.; Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2004. Data Integration under Integrity Constraints. Information Systems 29(3): 147-163.
14. Calì, A.; Lembo, D.; and Rosati, R. 2003a. On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In Proceedings of the Twenty-Second ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2003), 260-271. New York: Association for Computing Machinery.
15. Calì, A.; Lembo, D.; and Rosati, R. 2003b. Query Rewriting and Answering under Constraints in Data Integration Systems. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), 16-21. San Francisco: Morgan Kaufmann Publishers.
16. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2004. What to Ask to a Peer: Ontology-Based Query Reformulation. In Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), 469-478. Menlo Park, CA: AAAI Press.
17. Calvanese, D.; De Giacomo, G.; Lenzerini, M. 2002. A Framework for Ontology Integration. In The Emerging Semantic Web - Selected Papers from the First Semantic Web Working Symposium, ed. I. Cruz, S. Decker, J. Euzenat, and D. Mcguinness, 201-214. Amsterdam, The Netherlands: IOS Press.
18. Calvanese, D.; De Giacomo, G.; Lenzerini, M. 2000. Answering Queries Using Views over Description Logics Knowledge Bases. In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), 386-391. Menlo Park, CA: AAAI Press.
19. Calvanese, D.; De Giacomo, G.; Lenzerini, M. 1998. On the Decidability of Query Containment under Constraints. In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS '98), 149-158. New York: Association for Computing Machinery.
20. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Nardi, D.; and Rosati, R. 1998a. Description Logic Framework for Information Integration. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 2-13. San Francisco: Morgan Kaufmann Publishers.
21. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Nardi, D.; and Rosati, R. 1998b. Information Integration: Conceptual Modeling and Reasoning Support. In Proceedings of the Sixth International Conference on Cooperative Information Systems (Coopis '98), 80-291. Los Alamitos, CA: IEEE Computer Society.
22. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2004. Logical Foundations of Peer-to-Peer Data Integration. In Proceedings of the Twenty-Third ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS2004), 241-251. New York: Association for Computing Machinery.
23. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Rosati, R.; and Vetere, G. 2004. DL-Lite: Practical Reasoning for Rich DLs. Paper presented at the 2004 Description Logic Workshop (DL 2004). In Ceur Electronic Workshop Proceedings, (Ceur-ws.org/vol-104), Technical University of Aachen, Aachen, Germany.
24. Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Vardi, M. Y. 2000. View-Based Query Processing and Constraint Satisfaction. In Proceedings of the Fifteenth IEEE Symposium on Logic in Computer Science (LICS 2000), 361-371. Piscataway, NJ: Institute for Electrical and Electronics Engineers.
25. Calvanese, D.; Lenzerini, M.; and Nardi, D. 1999. Unifying Class-Based Representation Formalisms. Journal of Artificial Intelligence Research 11: 199-240.
26. Calvanese, D.; Lenzerini, M.; and Nardi, D. 1998. Description Logics for Conceptual Data Modeling. In Logics for Databases and Information Systems, ed. J. Chomicki and G. Saake, 229-264. Dortrecht, The Netherlands: Kluwer Academic Publishers.
27. Franconi, E.; Kuper, G.; Lopatenko, A.; and Serafini, L. 2003. A Robust Logical and Computational Characterisation of Peer-To-Peer Database Systems. In Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2003), Lecture Notes in Computer Science volume 2944. Berlin: Springer-Verlag.
28. Friedman, M.; Levy, A.; and Millstein, T. 1999. Navigational Plans for Data Integration. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI '99), 67-73. Menlo Park, CA: AAAI Press/MIT Press.
29. Haarslev, V. and R. Möller, R. 2001. Racer System Description. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), vol-1997), 51-61. New York: Association for Computing Machinery.
30. Johnson, D. S.; and Klug, A. C. 1984. Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. Journal of Computer and System Sciences 28(1): 167-189.
31. Lenzerini, M. 2002. Data Integration: A Theoretical Perspective. In Proceedings of the Twenty-First ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002), 233-246. New York: Association for Computing Machinery.
32. Levesque, H. J.; and Lakemeyer, G. 2001. The Logic of Knowledge Bases Cambridge, MA: MIT Press.
33. Levy, A. Y.; Srivastava, D.; and Kirk, T. 1995. Data Model and Query Evaluation in Global Information Systems. Journal of Intelligent Information Systems 5(2): 121-143.
34. Möller, R.; and Haarslev, V. 2003. Description Logic Systems. Chapter 8 in The Description Logic Handbook: Theory, Implementation, and Applications, ed. F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. F. Patel-Schneider, 282-305. New York: Cambridge University Press.
35. Ullman, J. D. 1997, Information Integration Using Logical Views. In Proceedings of the Sixth International Conference on Database Theory (ICDT '97), volume 1186 of Lecture Notes in Computer Science, 19-40. Berlin: Springer-Verlag.