Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues

  • Yannis Kalfoglou
  • Marco Schorlemmer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3596)


We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to the widespread adoption of Web technology. But, it also introduces new challenges for knowledge engineers, who have to find suitable ways for sharing and integrating all this knowledge in meaningful chunks. In this paper we are exposing our experiences in using two technologies for capturing, representing and modelling semantic integration that are relatively unknown to the integration practitioners: Information Flow and Formal Concept Analysis.


Knowledge Management Conceptual Structure Formal Context Formal Concept Analysis Bayesian Belief Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bain, M.: Inductive construction of ontologies from formal concept analysis. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    Barr, M.: The Chu construction. Theory and Applications of Categories 2(2), 17–35 (1996)zbMATHMathSciNetGoogle Scholar
  3. 3.
    Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)Google Scholar
  4. 4.
    Barwise, J., Seligman, J.: Information Flow: the Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, vol. 44. Cambridge University Press, Cambridge (1997); ISBN: 0- 521-58386-1zbMATHGoogle Scholar
  5. 5.
    Cole, R., Stumme, G.: CEM - a conceptual email manager. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  6. 6.
    Corrêa da Silva, F., Vasconcelos, W., Robertson, D., Brilhante, V., de Melo, A., Finger, M., Agusti, J.: On the insufficiency of ontologies: Problems in knowledge sharing and alternative solutions. Knowledge Based Systems 15(3), 147–167 (2002)Google Scholar
  7. 7.
    Corrêa da Silva, F.: Knowledge Sharing Between a Probabilistic Logic and Bayesian Belief Networks. In: Proceedings of the International Conference on Processing and Management of Uncertainty (2000)Google Scholar
  8. 8.
    Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)zbMATHGoogle Scholar
  9. 9.
    Dretske, F.: Knowledge and the Flow of Information. MIT Press, Cambridge (1981)Google Scholar
  10. 10.
    Ganter, B., Wille, R.: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg (1999); ISBN: 3-540-62771-5zbMATHGoogle Scholar
  11. 11.
    Gruber, T.: A Translation Approach for Portable Ontology Specifications. Knowledge Engineering 5(2), 199–220 (1993)Google Scholar
  12. 12.
    Gupta, V.: Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University (1994)Google Scholar
  13. 13.
    Kalfoglou, Y., Alani, H., Schorlemmer, M., Walton, C.: On the emergent semantic web and overlooked issues. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 576–590. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Kalfoglou, Y., Dasmahaptra, S., Chen-Burger, J.: FCA in Kowledge Technologies: Experiences and Opportunities. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 252–260. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 16.
    Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. The Knowledge Engineering Review 18(1), 1–31 (2003)CrossRefGoogle Scholar
  17. 17.
    Kalfoglou, Y., Schorlemmer, M.: Formal Support for Representing and Automatic Semantic Interoperability. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 45–60. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Kent, R.: The Information Flow Foundation for Conceptual Knowledge Organization. In: Proceedings of the 6th International Conference of the International Society for Knowledge Organization (ISKO), Toronto, Canada (August 2000)Google Scholar
  19. 19.
    Kent, R.: Distributed Conceptual Structures. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 104–123. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  20. 20.
    Pratt, V.: The Stone gamut: A coordinatization of mathematics. Logic in Computer Science, 444–454 (1995)Google Scholar
  21. 21.
    Priss, U.: Formalizing botanical taxonomies. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  22. 22.
    Schorlemmer, M.: Duality in Knowledge Sharing. In: Proceedings of the 7th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA (January 2002)Google Scholar
  23. 23.
    Schorlemmer, M., Kalfoglou, Y.: A channel theoretic foundation for ontology coordination. In: Proceedings of the Meaning, Negotiation and Coordination workshop (MCN 2004) at the ISWC 2004, Hiroshima, Japan (November 2004)Google Scholar
  24. 24.
    Shannon, C.: A Mathematical Theory of Communication. Bell Systems Technical Journal 27, 379–243 (1948)Google Scholar
  25. 25.
    Sowa, J.: Knowledge Representations: Logical, Philosophical, and Computational Foundations. Brooks/Cole (2000)Google Scholar
  26. 26.
    Wolff, K.E.: Information Channels and Conceptual Scaling. In: Working with Conceptual Structures. Contributions to ICCS 2000. Shaker Verlag (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Yannis Kalfoglou
    • 1
  • Marco Schorlemmer
    • 2
  1. 1.Advanced Knowledge Technologies (AKT), School of Electronics and Computer ScienceUniversity of SouthamptonUK
  2. 2.Institut d’Investigació en Intel.ligència Artificial, Consell Superior d’Investigacions CientífiquesSpain

Personalised recommendations