Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Barr, M.: The Chu construction. Theory and Applications of Categories 2(2), 17–35 (1996)
Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)
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-1
Cole, R., Stumme, G.: CEM - a conceptual email manager. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867. Springer, Heidelberg (2000)
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)
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)
Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)
Dretske, F.: Knowledge and the Flow of Information. MIT Press, Cambridge (1981)
Ganter, B., Wille, R.: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg (1999); ISBN: 3-540-62771-5
Gruber, T.: A Translation Approach for Portable Ontology Specifications. Knowledge Engineering 5(2), 199–220 (1993)
Gupta, V.: Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University (1994)
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)
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)
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)
Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. The Knowledge Engineering Review 18(1), 1–31 (2003)
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)
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)
Kent, R.: Distributed Conceptual Structures. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 104–123. Springer, Heidelberg (2002)
Pratt, V.: The Stone gamut: A coordinatization of mathematics. Logic in Computer Science, 444–454 (1995)
Priss, U.: Formalizing botanical taxonomies. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746. Springer, Heidelberg (2003)
Schorlemmer, M.: Duality in Knowledge Sharing. In: Proceedings of the 7th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA (January 2002)
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)
Shannon, C.: A Mathematical Theory of Communication. Bell Systems Technical Journal 27, 379–243 (1948)
Sowa, J.: Knowledge Representations: Logical, Philosophical, and Computational Foundations. Brooks/Cole (2000)
Wolff, K.E.: Information Channels and Conceptual Scaling. In: Working with Conceptual Structures. Contributions to ICCS 2000. Shaker Verlag (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalfoglou, Y., Schorlemmer, M. (2005). Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues. In: Dau, F., Mugnier, ML., Stumme, G. (eds) Conceptual Structures: Common Semantics for Sharing Knowledge. ICCS 2005. Lecture Notes in Computer Science(), vol 3596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11524564_7
Download citation
DOI: https://doi.org/10.1007/11524564_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27783-5
Online ISBN: 978-3-540-31885-9
eBook Packages: Computer ScienceComputer Science (R0)