Skip to main content
SpringerLink
Log in

Formal Support for Representing and Automating Semantic Interoperability

  • Conference paper
The Semantic Web: Research and Applications (ESWS 2004)

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

Included in the following conference series:

Abstract

We discuss approaches to semantic heterogeneity and propose a formalisation of semantic interoperability based on the Barwise-Seligman theory of information flow. We argue for a theoretical framework that favours the analysis and implementation of semantic interoperability scenarios relative to particular understandings of semantics. We present an example case of such a scenario where our framework has been applied as well as variations of it in the domain of ontology mapping.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Pater-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  2. Barr, M.: The Chu construction. Theory and Applications of Categories 2(2), 17–35 (1996)

    MATH  MathSciNet  Google Scholar 

  3. Barwise, J., Seligman, J.: Information Flow. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  4. Bench-Capon, T., Malcolm, G.: Formalising ontologies and their relations. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 250–259. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  5. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)

    Google Scholar 

  6. Ciocoiu, M., Nau, D.: Ontology-based semantics. In: Proc. 7th International Conference on the Principles of Knowledge Representation and Reasoning, pp. 539–548 (2000)

    Google Scholar 

  7. Corrêa da Silva, F., Vasconcelos, W., Robertson, D., Brilhante, V., de Melo, A., Finger, M., Agustí, J.: On the insufficiency of ontologies: Problems in knowledge sharing and alternative solutions. Knowledge Based Systems 15(3), 147–167 (2002)

    Article  Google Scholar 

  8. Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)

    MATH  Google Scholar 

  9. Dretske, F.: Knowledge and the Flow of Information. MIT Press, Cambridge (1981)

    Google Scholar 

  10. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. IEEE Trans. on Software Engineering 20(8), 569–578 (1994)

    Article  Google Scholar 

  11. Ganter, B., Wile, R.: Formal Concept Analysis. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  12. Gupta, V.: Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University (1994)

    Google Scholar 

  13. Kent, R.: A KIF formalization of the IFF category theory ontology. Proc. IJCAI 2001 Workshop on the IEEE Standard Upper Ontology (2001)

    Google Scholar 

  14. Kent, R.: The IFF foundation for ontological knowledge organization. In: Knowledge Organization and Classification in International Information Retrieval, Cataloging and Classification Quarterly, The Haworth Press Inc. (2003)

    Google Scholar 

  15. Kalfoglou, Y., Schorlemmer, M.: IF-Map: an ontology-mapping method based on information-flow theory. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 98–127. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Madhavan, J., Bernstein, P., Domingos, P., Halevy, A.: Representing and reasoning about mappings between domain models. In: Proc. 18th Nat. Conf. on AI (2002)

    Google Scholar 

  17. McGuinness, D., van Harmelen, F. (eds.): OWL Web Ontology Language. W3C Recommendation, February 10 (2004), http://www.w3.org/TR/2004/REC-owlreatures-0040210/

  18. McLane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Heidelberg (1998)

    Google Scholar 

  19. Menzel, C.: Ontology theory. In: Ontologies and Semantic Interoperability, Proc. ECAI 2002 Workshop, CEUR-WS 64 (2002)

    Google Scholar 

  20. Mitra, P., Wiederhold, G.: Resolving terminological heterogeneity in ontologies. In: Ontologies and Semantic Interoperability, Proc. ECAI 2002 Workshop, CEUR-WS 64 (2002)

    Google Scholar 

  21. Pollock, J.: The Web Services Scandal: How data semantics have been overlooked in integration solutions. eAI Journal, 20–23 (August 2002)

    Google Scholar 

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

    Article  Google Scholar 

  23. Sowa, J.: Knowledge Representation. Brooks/Cole, Pacific Grove (2000)

    Google Scholar 

  24. Stumme, G., Maedche, A.: FCA-Merge: Bottom-up merging of ontologies. In: Proc. 17th International Joint Conference on Artificial Intelligence, pp. 225–230 (2001)

    Google Scholar 

  25. Turner, R.: Properties, propositions and semantic theory. Computational linguistics and formal semantics, ch. 5. Cambridge University Press, Cambridge (1992)

    Google Scholar 

  26. Uschold, M.: Creating semantically integrated communities on the World Wide Web. In: WWW 2002 Semantic Web Workshop (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electronics and Computer Science, University of Southampton, UK

    Yannis Kalfoglou

  2. E. U. de Tecn. d’Informació i Comunicació, Universitat Internacional de Catalunya, Spain

    Marco Schorlemmer

Authors
  1. Yannis Kalfoglou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Schorlemmer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Cisco Systems, Inc., 95134, San Jose, CA, USA

    Christoph J. Bussler

  2. Next Generation Web Research Group, BT Group,, Adastral Park, Ipswich, UK

    John Davies

  3. DERI Innsbruck, University of Innsbruck, Austria

    Dieter Fensel

  4. Institute AIFB, Universität Karlsruhe, Germany

    Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kalfoglou, Y., Schorlemmer, M. (2004). Formal Support for Representing and Automating Semantic Interoperability. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds) The Semantic Web: Research and Applications. ESWS 2004. Lecture Notes in Computer Science, vol 3053. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25956-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25956-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21999-6

  • Online ISBN: 978-3-540-25956-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation