Skip to main content
SpringerLink
Log in

Formal Concept Analysis on Its Way from Mathematics to Computer Science

  • Conference paper
  • First Online:
Conceptual Structures: Integration and Interfaces (ICCS 2002)

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

Included in the following conference series:

Abstract

In the last years, the main orientation of Formal Concept Analysis (FCA) has turned from mathematics towards computer science. This article provides a review of this new orientation and analyzes why and how FCA and computer science attracted each other. It discusses FCA as a knowledge representation formalism using five knowledge representation principles provided by Davis, Shrobe, and Szolovits [15]. It then studies how and why mathematics-based researchers got attracted by computer science. We will argue for continuing this trend by integrating the two research areas FCA and Ontology Engineering.

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. A. Abecker, A. Bernandi, K. Hinkelmann, O. Kühn, M. Sintek: Towards a technology for organizational memories. IEEE Intelligent Systems and Their Applications 13(3), 1998, 40–48

    Article  Google Scholar 

  2. A. Arnaud, P. Nicole: La logique ou l’Art de penser. Abraham Wolfgang, Amsterdam 1685

    Google Scholar 

  3. F. Baader: Computing a minimal representation of the subsumption lattice of all conjunctions of concept defined in a terminology. In: G. Ellis, R. A. Levinson, A. Fall, V. Dahl (eds.): Proc. Intl. KRUSE Symposium, August 11-13, 1995, UCSC, Santa Cruz 1995, 168–178

    Google Scholar 

  4. M. Barbut, B. Monjardet: Ordre et classification, Algébre et Combinatoire. 2 tomes. Paris, Hachette 1970

    Google Scholar 

  5. Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, L. Lakhal: Mining Frequent Patterns with Counting Inference. SIGKDD Explorations 2(2), Special Issue on Scalable Algorithms, 2000, 71–80

    Article  Google Scholar 

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

    Google Scholar 

  7. G. Birkhoff: Lattice Theory. 1st edition. Amer. Math. Soc. Coll. Publ. 25, Providence, R. I., 1940

    Google Scholar 

  8. R. J. Brachman, T. Anand: The process of Knowledge Discovery in Databases. In G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy (eds.): Advances in Knowledge Discovery and Data Mining. AAAI/MIT Press, Cambridge 1996 [19], 37–57

    Google Scholar 

  9. R. J. Brachman, P. G. Selfridge, L. G. Terveen, B. Altman, A. Borgida, F. Helper, T. Krk, A. Lazar, D. L. McGuiness, L. A. Resnick: Integrated support for data archeology. Intl. J. of Intelligent and Cooperative Information Systems 2 (1993), 159–185

    Article  Google Scholar 

  10. W. Brugger: Philosophisches Wörterbuch Herder, Freiburg 1976

    Google Scholar 

  11. P. Burmeister: Programm zur Formalen Begriffsanalyse einwertiger Kontexte. TH Darmstadt 1987

    Google Scholar 

  12. C. Carpineto, G. Romano: GALOIS: An Order-Theoretic Approach to Conceptual Clustering. Machine Learning. Proc. ICML 1993, Morgan Kaufmann Prublishers 1993, 33–40

    Google Scholar 

  13. R. Cole, P. Eklund: Browsing Semi-Structured Web Texts Using Formal Concept Analysis. In: H. Delugach, G. Stumme (eds.): Conceptual Structures: Broadening the Base. Proc. ICCS’ 01. LNAI 2120, Springer, Heidelberg 2001, 319–332

    Chapter  Google Scholar 

  14. R. Cole, G. Stumme: CEM-a conceptual email manager. In: B. Ganter, G. W. Mineau (eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. Proc. ICCS’ 00. LNAI 1867. Springer, Heidelberg 2000, 438–452

    Chapter  Google Scholar 

  15. R. Davis, H. Shrobe, P. Szolovits: What is a knowledge representation? AI Magazine 14:1 (1993), 17–33

    Google Scholar 

  16. Deutsches Institut für Normung: Begriffe und Benennungen-Allgemeine Grundsätze. DIN 2330. 1993

    Google Scholar 

  17. V. Duquenne, C. Chabert, A. Cherfouh, J.-M. Delabar, A.-L. Doyen, D. Pickering: Structuration of phenotypes/genotypes through Galois lattices and implications. In: E. M. Nguifo, V. Duquenne, M. Liquiere (eds.): Proc. ICCS-2001 Intl. Workshop on Concept Lattices-Based Theory, Methods, and Tools for Knowledge Discovery in Databases, Stanford, July 2001, 21–34

    Google Scholar 

  18. P. Eklund, B. Groh, G. Stumme, R. Wille: A Contextual-Logic Extension of TOSCANA. In: B. Ganter, G. W. Mineau (eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. Proc. ICCS’ 00. LNAI 1867, Springer, Heidelberg 2000, 453–467

    Chapter  Google Scholar 

  19. U. M. Fayyad, G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy (eds.): Advances in Knowledge Discovery and Data Mining. AAAI/MIT Press, Cambridge 1996

    Google Scholar 

  20. B. Ganter: Algorithmen zur Formalen Begriffsanalyse. In: B. Ganter, R. Wille, K.E. Wolff (eds.): Beiträge zur Formalen Begriffsanalyse, B.I. Wissenschaftsverlag, Mannheim 1987, 241–254

    Google Scholar 

  21. B. Ganter, S. O. Kuznetsov: Formalizing Hypotheses with Concepts. In: Ganter, B., Mineau, G. (Eds.): Conceptual Structures: Logical, Linguistic and Computational Issues. LNAI 1867. Springer, Berlin-Heidelberg-New York2000, 342–356

    Chapter  Google Scholar 

  22. B. Ganter, J. Stahl, R. Wille: Conceptual measurement and many-valued contexts. In: W. Gaul, M. Schader (eds.): Classification as a tool of research. North-Holland, Amsterdam 1986, 169–176

    Google Scholar 

  23. B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg 1999

    MATH  Google Scholar 

  24. B. Ganter, R. Wille: Contextual Attribute Logic. In: W. Tepfenhart, W. Cyre (eds.): Conceptual Structures: Standards and Practices. LNAI 1640. Springer, Heidelberg 1999, 377–388

    Chapter  Google Scholar 

  25. T. Gruber: Towards principles for the design of ontologies used for knowledge sharing. Intl. J. of Human and Computer Studies 43(5/6), 1994, 907–928

    Google Scholar 

  26. J. Habermas: Theorie des kommunikativen Handelns. Suhrkamp, Frankfurt 1981

    Google Scholar 

  27. S. Handschuh, S. Staab: Authoring and Annotation of Web Pages in CREAM. Proc. World-Wide Web Conference (WWW 11), 2002

    Google Scholar 

  28. J. Hendler: Agents and the Semantic Web. IEEE Intelligent Systems 16(2), 2001, 30–37

    Article  Google Scholar 

  29. H. von Hentig: Magier oder Magister? Über die Einheit der Wissenschaft im Verständigungsprozess. 1. Aufl., Suhrkamp, Frankfurt 1974

    Google Scholar 

  30. J. Hereth, G. Stumme: Reverse Pivoting in Conceptual Information Systems. In: H. Delugach, G. Stumme (Eds.): Conceptual Structures: Broadening the Base. Proc. ICCS’ 01. LNAI 2120, Springer, Heidelberg 2001, 202–215

    Chapter  Google Scholar 

  31. J. Hereth, G. Stumme, R. Wille, U. Wille: Conceptual Knowledge Discovery and Data Analysis. In: B. Ganter, G. W. Mineau (eds.): Conceptual Structures: Logical, Linguistic, and Computational Issues. Proc. ICCS’ 00. LNAI 1867, Springer, Heidelberg 2000, 421–437

    Chapter  Google Scholar 

  32. D. Horster: Habermas, Jürgen. In: B. Lutz (ed.): Metzler Philosophen Lexikon. Von den Vorsokratikern bis zu den Neuen Philosophen. Metzler, Stuttgart-Weimar 1995, 335–341

    Google Scholar 

  33. International Organization of Standardization: ISO 704. Terminology Work — Principles and Methods. 2000

    Google Scholar 

  34. M. Jarke, R. Klemke, A. Nick: Broker’s lounge — an environment for multidimensional user-adaptive knowledge management. Proc. 34th Hawaii Intl. Conf. on System Sciences (HICSS-34), 2001, 83

    Google Scholar 

  35. U. Klotz, A. Mann: Begriff exploration. Diplomarbeit, TH Darmstadt 1988

    Google Scholar 

  36. W. Kollewe: Evaluation of a survey with methods of formal concept analysis. In: O. Opitz (ed.): Conceptual and numerical analysis of data. Springer-Verlag, Berlin-Heidelberg 1989, 123–134

    Google Scholar 

  37. F. Lehmann, R. Wille: A triadic approach to formal concept analysis. In: G. Ellis, R. Levinson, W. Rich, J. F. Sowa (eds.): Conceptual structures: applications, implementation and theory. LNAI 954. Springer, Berlin-Heidelberg-New York 1995, 32–43

    Google Scholar 

  38. P. Luksch, R. Wille: A mathematical model for conceptual knowledge systems. In: H.-H. Bock, P. Ihm (eds.): Classification, data analysis, and knowledge organization. Springer, Heidelberg 1991, 156–162

    Google Scholar 

  39. A. Mädche: Ontology Learning for the Semantic Web. PhD thesis, Universität Karlsruhe. Kluwer, Dordrecht 2002

    MATH  Google Scholar 

  40. G. Mineau, R. Godin: Automatic Structuring of Knowledge Bases by Conceptual Clustering. IEEE Transactions on Knowledge and Data Engineering 7(5), 1995, 824–829

    Article  Google Scholar 

  41. G. Mineau, G. Stumme, R. Wille: Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis. In: W. Tepfenhart, W. Cyre (eds.): Conceptual Structures: Standards and Practices. Proc. ICCS’ 99. LNAI 1640. Springer, Heidelberg 1999, 423–441

    Chapter  Google Scholar 

  42. Ch. S. Peirce: Collected Papers. Harvard University Press, Cambridge 1931–35

    Google Scholar 

  43. S. Pollandt: Fuzzy Begriffe: Formale Begriffsanalyse von unscharfen Daten. Springer, Berlin-Heidelberg 1997

    Google Scholar 

  44. S. Prediger: Logical scaling in Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. F. Sowa (eds.): Conceptual structures: fulfilling Peirce’s dream. LNAI1257. Springer, Heidelberg 1997, 332–341

    Chapter  Google Scholar 

  45. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restruk-turierung der mathematischen Logik. PhD thesis, TU Darmstadt. Shaker Verlag, Aachen 1998

    Google Scholar 

  46. S. Prediger: Mathematische Logik in der Wissensverarbeitung. Historischphilosophische Gründe für eine Kontextuelle Logik. Math. Semesterberichte 47(2), 2000, 165–191

    Article  MATH  MathSciNet  Google Scholar 

  47. S. Prediger, G. Stumme: Theory-Driven Logical Scaling. In: E. Franconi et al (eds.): Proc. 6th Intl. Workshop Knowledge Representation Meets Databases. CEUR Workshop Proc. 21, 1999. Also in: P. Lambrix et al (eds.): Proc. Intl. Workshop on Description Logics (DL’ 99). CEUR Workshop Proc. 22, 1999 (http://CEUR-WS.org/Vol-21)

  48. S. Prediger, R. Wille: The lattice of concept graphs of a relationally scaled context. In: W. Tepfenhart, W. Cyre (eds.): Conceptual Structures: Standards and Practices. LNAI 1640. Springer, Heidelberg 1999, 401–414

    Google Scholar 

  49. G. Schreiber, H. Akkermans, A. Anjewierden, R. de Hoog, N. R. Shadbolt, W. Van de Velde, B. Wielinga: Knowledge Engineering and Management. MIT Press 2000

    Google Scholar 

  50. E. Schröder: Algebra der Logik I, II, III. 1890, 1891, 1895. Thoemmes Press, Bristol 2001

    Google Scholar 

  51. I. Schmitt, G. Saake: Merging inheritance hierarchies for database integration. Proc. 3rd IFCIS Intl. Conf. on Cooperative Information Systems, New York City, Nework, USA, August 20-22, 1998, 122–131

    Google Scholar 

  52. G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Transactions on Software Engineering and Methodology 5(2), 1996, 146–189

    Article  Google Scholar 

  53. S. Staab, J. Angele, S. Decker, M. Erdmann, A. Hotho, A. Mädche, R. Studer, Y. Sure: Semantic Community Web Portals. Proc. 9th World Wide Web Conference (WWW 9). Amsterdam 2000, 473–491

    Google Scholar 

  54. S. Staab, A. Mädche: Knowledge Portals — Ontologies at Work. AI Magazine 21(2), 2001

    Google Scholar 

  55. S. Staab, H.-P. Schnurr, R. Studer, Y. Sure: Knowledge Processes and Ontologies. IEEE Intelligent Systems 16(1), 2001

    Google Scholar 

  56. N. Stojanovic, A. Mädche, S. Staab, R. Studer, Y. Sure: SEAL — A Framework for Developing SEmantic portALs. In: Proc. 1st Intl. Conf. on Knowledge Capture (K-CAP’ 01). ACM Press, New York 2001, 155–162

    Chapter  Google Scholar 

  57. S. Strahringer, R. Wille: Conceptual clustering via convex-ordinal structures. In: O. Opitz, B. Lausen, R. Klar (eds.): Information and Classification. Springer, Berlin-Heidelberg 1993, 85–98

    Google Scholar 

  58. G. Stumme: Knowledge Acquisition by Distributive Concept Exploration. In: G. Ellis, R. A. Levinson, W. Rich, J. F. Sowa (eds.): Suppl. Proc. of the Third International Conference on Conceptual Structures, Santa Cruz, CA, USA, August 1995, 98–111

    Google Scholar 

  59. G. Stumme: Local Scaling in Conceptual Data Systems. In: P. W. Eklund, G. Ellis, G. Mann (eds.): Conceptual Structures: Knowledge Representation as Interlingua. Proc. ICCS’ 96. LNAI 1115, Springer, Heidelberg 1996, 308–320

    Google Scholar 

  60. G. Stumme: The Concept Classification of a Terminology Extended by Conjunction and Disjunction. In: N. Foo, R. Goebel (eds.): PRICAI’ 96: Topics in Artificial Intelligence. Proc. PRICAI’96. LNAI 1114, Springer, Heidelberg 1996, 121–131

    Google Scholar 

  61. G. Stumme: Exploration tools in Formal Concept Analysis. In: Ordinal and Symbolic Data Analysis. Studies in classification, data analysis, and knowledge organization 8, Springer, Heidelberg 1996, 31–44

    Google Scholar 

  62. G. Stumme: Concept Exploration — Knowledge Discovery in Conceptual Knowledge Systems. PhD thesis, TU Darmstadt. Shaker, Aachen 1997

    Google Scholar 

  63. G. Stumme: Exploring Conceptual Similarities of Objects for Analyzing Inconsistencies in Relational Databases. Proc. Workshop on Knowledge Discovery and Data Mining, 5th Pacific Rim Intl. Conf. on Artificial Intelligence. Singapore, Nov. 1998, 41–50

    Google Scholar 

  64. G. Stumme: Dual Retrieval in Conceptual Information Systems. In: A. Buchmann (ed.): Datenbanksysteme in Büro, Technik und Wissenschaft. Proc. BTW’ 99. Springer, Heidelberg 1999, 328–342

    Google Scholar 

  65. G. Stumme: Conceptual On-Line Analytical Processing. In: K. Tanaka, S. Ghandeharizadeh, Y. Kambayashi (eds.): Information Organization and Databases. Chpt. 14. Kluwer, Boston-Dordrecht-London 2000, 191–203

    Google Scholar 

  66. G. Stumme, A. Hotho, B. Berendt (eds.): Semantic Web Mining. Proc. of the Semantic Web Mining Workshop of the 12th Europ. Conf. on Machine Learning (ECML’01) / 5th Europ. Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD’01), Freiburg, September 3rd, 2001

    Google Scholar 

  67. G. Stumme, R. Taouil, Y. Bastide, N. Pasquier, L. Lakhal: Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis. In: F. Baader. G. Brewker, T. Eiter (eds.): KI 2001: Advances in Artificial Intelligence Proc. KI 2001. LNAI 2174, Springer, Heidelberg 2001, 335–350

    Chapter  Google Scholar 

  68. G. Stumme, R. Taouil, Y. Bastide, N. Pasqier, L. Lakhal: Computing Iceberg Concept Lattices with Titanic. J. on Knowledge and Data Engineering, 2002 (in press)

    Google Scholar 

  69. G. Stumme, R. Wille, U. Wille: Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods. In: J. M. Zytkow, M. Quafofou (eds.): Principles of Data Mining and Knowledge Discovery. Proc. PKDD’ 98, LNAI 1510, Springer, Heidelberg 1998, 450–458

    Chapter  Google Scholar 

  70. G. Stumme, K. E. Wolff: Computing in Conceptual Data systems with relational structures. Proc. Intl. Conf. on Knowledge Retrieval, Use, and Storage for Efficiency, Vancouver, Canada, 11.-13.8. 1997, 206–219

    Google Scholar 

  71. The ToscanaJ-Project: An Open-Source Reimplementation of TOSCANA. http://toscanaj.sourceforge.net

  72. F. Vogt, R. Wille: TOSCANA-A graphical tool for analyzing and exploring data. In: R. Tamassia, I. G. Tollis (eds.): GraphDrawing’ 94. LNCS 894. Springer, Heidelberg 1995, 226–233

    Google Scholar 

  73. M. Wild: Computations with finite closure systems and implications. In: D.-Z. Du, M. Li (eds.): Computing and combinatorics. LNCS 959. Springer, Berlin-Heidelberg 1995, 111–120

    Chapter  Google Scholar 

  74. R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht-Boston, 445–470

    Google Scholar 

  75. R. Wille: Subdirect decomposition of concept lattices. Algebra Universalis 17, 1983, 275–287

    Article  MATH  MathSciNet  Google Scholar 

  76. R. Wille: Line diagrams of hierarchical concept systems. Int. Classif. 11, 1984, 77–86

    Google Scholar 

  77. R. Wille: Bedeutungen von Begriffsverbänden. In: B. Ganter, R. Wille, K. E. Wolff (eds.): Beiträge zur Begriffsanalyse. B. I.-Wissenschaftsverlag, Mannheim 1987, 161–211

    Google Scholar 

  78. R. Wille: Plädoyer für eine philosophische Grundlegung der Begrifflichen Wissensverarbeitung. In: R. Wille, M. Zickwolff (eds.): Begriffliche Wissensverarbeitung — Grundfragen und Aufgaben. B. I.-Wissenschaftsverlag, Mannheim 1994, 11–25

    Google Scholar 

  79. R. Wille: Restructuring mathematical logic: an approach based on Peirce’s pragmatism. In: A. Ursini und P. Agliano (eds.): Logic and Algebra. Marcel Dekker, New York 1996, 267–281

    Google Scholar 

  80. R. Wille: Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. F. Sowa (eds.): Conceptual Structures: Fulfilling Peirce’s Dream. Proc. ICCS’ 97. LNAI 1257. Springer, Heidelberg 1997, 290–303

    Chapter  Google Scholar 

  81. R. Wille: Conceptual landscapes of knowledge: a pragmatic paradigm for knowledge processing. In: W. Gaul, H. Locarek-Junge (eds.): Classification in the Information Age. Springer, Heidelberg 1999, 344–356

    Google Scholar 

  82. R. Wille: Contextual logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Suppl. Proc. ICCS 2000. Shaker, Aachen 2000, 265–276

    Google Scholar 

  83. R. Wille: Why can concept lattices support knowledge discovery in databases? In: E.M. Nguifo, V. Duquenne, M. Liquiere (eds.): Concept Lattice-based theory, methods and tools for Knowledge Discovery in Databases. Proc. of Workshop of the 9th Intl. Conf. on Conceptual Structures (ICCS’ 01). http://CEUR-WS.org/Vol-42/

  84. R. Wille, M. Zickwolff (eds.): Begriffliche Wissensverarbeitung — Grundfragen und Aufgaben. B. I.-Wissenschaftsverlag, Mannheim 1994

    MATH  Google Scholar 

  85. M. Zickwolff: Begriffliche Wissenssysteme in der Künstlichen Intelligenz. FB4-Preprint 1506, TH Darmstadt 1992

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Informatik und Formale Beschreibungsverfahren AIFB, Universität Karlsruhe, D-76128, Karlsruhe, Germany

    Gerd Stumme

Authors
  1. Gerd Stumme
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Library and Information Science, Indiana University, 1320 E 10th Street, Bloomington, IN, 47405-3907, USA

    Uta Priss

  2. School of Computer and Information Science, University of South Australia, Mawson Lakes, SA, Australia, 5095

    Dan Corbett

  3. Central Laboratory for Parallel Processing, Bulgarian Academy of Sciences, 25A Acad. G. Bonchev Street, 1113, Sofia, Bulgaria

    Galia Angelova

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stumme, G. (2002). Formal Concept Analysis on Its Way from Mathematics to Computer Science. In: Priss, U., Corbett, D., Angelova, G. (eds) Conceptual Structures: Integration and Interfaces. ICCS 2002. Lecture Notes in Computer Science(), vol 2393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45483-7_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-45483-7_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43901-1

  • Online ISBN: 978-3-540-45483-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation