Skip to main content

Model theoretic semantics for information integration

  • Conference paper
  • First Online:
Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1480))

Abstract

Due to the increasing necessity and availability of information from different sources, information integration is becoming one of the challenging issues in artificial intelligence and computer science. A successful methodology for information integration is based on federated databases. Differently form databases, a completely satisfactory formal treatment of federated databases is still missing. The goal of this paper is to fill this gap by providing a model theoretic semantics, called Local Models Semantics for federated databases. Our basic intuition is that a federated database can be formalized by representing each database as a set of local models. We argue that this perspective is a promising one, as many relevant problems in information integration, such as semantic heterogeneity, interschema dependencies, query distribution, local control over data and processing, and transparency, can be successfully represented by Local Models Semantics.

We thank the Mechanized Reasoning Group at DISA (Trento), ITC-IRST (Trento) and DIST (Genoa). This work is part of the MRG project Distributed Representations and Systems (http://www.cs.unitn.it/~mrg/distributed-intelligence/).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abitebul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley, 1995.

    Google Scholar 

  2. V. Arens, C.Y. Chee, C-N. Hsu, and C.A. Knoblock. Retrieving and integrating data from multiple information sources. International Journal on Intelligent and Cooperative Information Systems, 2(2):127–158, 1993.

    Article  Google Scholar 

  3. H.A. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science, 68:35–51, 1987.

    MathSciNet  Google Scholar 

  4. A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, October 1995.

    Google Scholar 

  5. M.W. Bright, A. R. Hurson, and Simin H. Pakzad. A Taxonomy and Current Issues in Multidatabase Systems. Computer, 25(3):50–60, March 1992.

    Article  Google Scholar 

  6. T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal of Intelligent and Cooperative Information Systems, 2(4):375–398, 1993.

    Article  Google Scholar 

  7. D. Fang, S. Ghandeharizadeh, and D. McLeod. An experimental object-based sharing system for networked databases. The VLDB Journal, 5:151–165, 1996.

    Article  Google Scholar 

  8. C. Ghidini and L. Serafini. Foundation of Federated Databases, I: A Model Theoretic Perspective. Technical Report 9709-02, IRST, Trento, Italy, 1997.

    Google Scholar 

  9. C. Ghidini and L. Serafini. Distributed First Order Logics. Technical Report 9804-02, IRST, 1998. To be presented at the First International Workshop on Labelled Deduction (LD'98). Freiburg, Germany.

    Google Scholar 

  10. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.

    Google Scholar 

  11. F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98), pages 282–289. Morgan Kaufmann, 1998. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.

    Google Scholar 

  12. A.Y. Levy, A. Rajaraman, and J.J. Ordille. Querying Heterogeneous Information Sources Using Source Descriptions. In Proceedings of the 22nd VLDB Conference, Bombay, India, 1996.

    Google Scholar 

  13. J. Mylopoulos and R. Motschnig-Pitrik. Partitioning Information Bases with Contexts. In Third International Conference on Cooperative Information Systems, Vienna, 1995.

    Google Scholar 

  14. A. Sheth and J. Larson. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22(3):183–236, 1990.

    Article  Google Scholar 

  15. V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291–331, 1994.

    Article  MathSciNet  Google Scholar 

  16. Jeffrey D. Ullman. Information Integration Using Logical Views. In Proc. of the 6th International Conference on Database Theory (ICDT'97), 1997.

    Google Scholar 

  17. M.W.W. Vermeer and P.M.G. Apers. The Role of Integrity Constraints in Database Interoperation. In Proceedings of the 22nd VLDB Conference, Mumbai(Bombay), India, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ghidini, C., Serafini, L. (1998). Model theoretic semantics for information integration. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057451

Download citation

  • DOI: https://doi.org/10.1007/BFb0057451

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64993-9

  • Online ISBN: 978-3-540-49793-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics