Skip to main content
SpringerLink
Log in

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources

  • Conference paper
  • First Online:
Book cover On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE (OTM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2519))

Abstract

A central problem of co-operative information systems is the ability to integrate information from multiple sources. Although this problem has been studied for several decades, there is a need for a more refined approach in those cases where the original sources form a loose federation, each maintaining its own independent view of the world. In particular, we motivate with examples the utility of directed non-injective mappings between the individuals in the domains of multiple IS.We then extend the logical formalism of Description Logics, which has previously served successfully in IS integration and is currently being used in semantic-web ontolgies, to handle such mappings. The result is called Distributed Description Logics, and we consider some of its desirable properties, as well as some theorems concerning its computational aspects.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Arens, C.A. Knoblock, W.M. Shen. Query Reformulation for Dynamic Information Integration. J. Intelligent Information Systems 6(2/3): 99–130 (1996)

    Article  Google Scholar 

  2. S. Bergamaschi, S. Castano, M. Vincini, D. Beneventano. Semantic integration of heterogeneous information sources. Data and Knowledge Engineering 36(3): 215–249 (2001).

    Article  MATH  Google Scholar 

  3. A. Borgida. Description logics in data management. IEEE Trans. on Knowledge and Data Engineering, 7(5):671–682, 1995.

    Article  Google Scholar 

  4. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199–240, 1999.

    MATH  MathSciNet  Google Scholar 

  5. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Information integration: Conceptual modeling and reasoning support. Proc. CoopIS’98, pp.280–291, 1998.

    Google Scholar 

  6. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. A principled approach to data integration and reconciliation in data warehousing. In Proc. Intl. Workshop on Design and Management of Data Warehouses (DMDW’99), Heidelberg, Germany, 1999.

    Google Scholar 

  7. 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 

  8. D. Florescu, A. Levy, and A. Mendelzon. Database Techniques for the World-Wide Web: A Survey. SIGMOD Record, 27(3):59–74, Sept. 1998.

    Article  Google Scholar 

  9. C. Ghidini and L. Serafini. Distributed First Order Logics. In D. Gabbay and M. de Rijke, editors, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pages 121–140. Research Studies Press, 1998.

    Google Scholar 

  10. I. Horrocks, P. Patel Schneider, and F. van Harmelen. Reviewing the design of DAML+OIL: language for the semantic web. In Proc. AAAI’02, 2002.

    Google Scholar 

  11. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. J. Logicand Computation, 9(3):385–410, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  12. V. Kashyap and A. Sheth. Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach. VLDB Journal 5(4): 276–304, 1996.

    Article  Google Scholar 

  13. W. Kent. Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language. Proc. VLDB’91, pp. 147–160, 1991.

    Google Scholar 

  14. L. Lakshmanan, F. Sadri, and I.N. Subramanian. Logic and Algebraic Languages for Interoperability in Multi-database Systems. Journal of Logic Programming 33(2):101–149, Nov. 1997.

    Google Scholar 

  15. A.Y. Levy, A. Rajaraman, J.J. Ordille. Query answering algorithms for information agents Proc. AAAI’96

    Google Scholar 

  16. E. Mena, V. Kashyap, A. Illarramendi and A. Sheth. Imprecise Answers on Highly Open and Distributed Environments: An Approach based on Information Loss for Multi-Ontology Based Query Processing. Int. Journal of Cooperative Information Systems 9(4):403–425, December 2000.

    Article  Google Scholar 

  17. A. Pirotte, E. Zimanyi, D. Massart, and T. Yakusheva. Materialization: A Powerful and Ubiquitous Abstraction Pattern. In Proc. VLDB’94, pp. 630–641, 1994.

    Google Scholar 

  18. E. Rahm, and P.A. Bernstein. A Survey of Approaches to Automatic Schema Matching. VLDB Journal 10(4):334–350. Dec. 2001.

    Article  MATH  Google Scholar 

  19. F. Saltor and E. Rodríguez. On Intelligent Access to Heterogeneous Information. In F. Baader, M.A. Jeusfeld & W. Nutt (eds), Proc. KRDB’97, Athens, Greece, August 30, 1997, pp. 15:1–15:7

    Google Scholar 

  20. E. Sciore, M. Siegel, and A. Rosenthal. Using semantic values to facilitate interoperability among heterogeneous information systems. ACM TODS 19(2):254–290, June 1994.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, Rutgers University, New Brunswick, USA

    Alex Borgida

  2. ITC-IRST, Trento, Italy

    Luciano Serafini

Authors
  1. Alex Borgida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luciano Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DOA Institute, p/a Leeuwlantstraat 83, 2100, Antwerp, Belgium

    Robert Meersman

  2. RMIT University School of Computer Science and IT, GPO Box 2476V, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borgida, A., Serafini, L. (2002). Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-36124-3_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00106-5

  • Online ISBN: 978-3-540-36124-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation