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.
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
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
A. Arnaud, P. Nicole: La logique ou l’Art de penser. Abraham Wolfgang, Amsterdam 1685
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
M. Barbut, B. Monjardet: Ordre et classification, Algébre et Combinatoire. 2 tomes. Paris, Hachette 1970
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
T. Berners-Lee, J. Hendler, O. Lassila: The Semantic Web. Scientific American 284(5), May 2001, 34–43
G. Birkhoff: Lattice Theory. 1st edition. Amer. Math. Soc. Coll. Publ. 25, Providence, R. I., 1940
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
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
W. Brugger: Philosophisches Wörterbuch Herder, Freiburg 1976
P. Burmeister: Programm zur Formalen Begriffsanalyse einwertiger Kontexte. TH Darmstadt 1987
C. Carpineto, G. Romano: GALOIS: An Order-Theoretic Approach to Conceptual Clustering. Machine Learning. Proc. ICML 1993, Morgan Kaufmann Prublishers 1993, 33–40
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
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
R. Davis, H. Shrobe, P. Szolovits: What is a knowledge representation? AI Magazine 14:1 (1993), 17–33
Deutsches Institut für Normung: Begriffe und Benennungen-Allgemeine Grundsätze. DIN 2330. 1993
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
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
U. M. Fayyad, G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy (eds.): Advances in Knowledge Discovery and Data Mining. AAAI/MIT Press, Cambridge 1996
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
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
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
B. Ganter, R. Wille: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg 1999
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
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
J. Habermas: Theorie des kommunikativen Handelns. Suhrkamp, Frankfurt 1981
S. Handschuh, S. Staab: Authoring and Annotation of Web Pages in CREAM. Proc. World-Wide Web Conference (WWW 11), 2002
J. Hendler: Agents and the Semantic Web. IEEE Intelligent Systems 16(2), 2001, 30–37
H. von Hentig: Magier oder Magister? Über die Einheit der Wissenschaft im Verständigungsprozess. 1. Aufl., Suhrkamp, Frankfurt 1974
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
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
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
International Organization of Standardization: ISO 704. Terminology Work — Principles and Methods. 2000
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
U. Klotz, A. Mann: Begriff exploration. Diplomarbeit, TH Darmstadt 1988
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
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
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
A. Mädche: Ontology Learning for the Semantic Web. PhD thesis, Universität Karlsruhe. Kluwer, Dordrecht 2002
G. Mineau, R. Godin: Automatic Structuring of Knowledge Bases by Conceptual Clustering. IEEE Transactions on Knowledge and Data Engineering 7(5), 1995, 824–829
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
Ch. S. Peirce: Collected Papers. Harvard University Press, Cambridge 1931–35
S. Pollandt: Fuzzy Begriffe: Formale Begriffsanalyse von unscharfen Daten. Springer, Berlin-Heidelberg 1997
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
S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restruk-turierung der mathematischen Logik. PhD thesis, TU Darmstadt. Shaker Verlag, Aachen 1998
S. Prediger: Mathematische Logik in der Wissensverarbeitung. Historischphilosophische Gründe für eine Kontextuelle Logik. Math. Semesterberichte 47(2), 2000, 165–191
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)
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
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
E. Schröder: Algebra der Logik I, II, III. 1890, 1891, 1895. Thoemmes Press, Bristol 2001
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
G. Snelting: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Transactions on Software Engineering and Methodology 5(2), 1996, 146–189
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
S. Staab, A. Mädche: Knowledge Portals — Ontologies at Work. AI Magazine 21(2), 2001
S. Staab, H.-P. Schnurr, R. Studer, Y. Sure: Knowledge Processes and Ontologies. IEEE Intelligent Systems 16(1), 2001
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
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
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
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
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
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
G. Stumme: Concept Exploration — Knowledge Discovery in Conceptual Knowledge Systems. PhD thesis, TU Darmstadt. Shaker, Aachen 1997
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
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
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
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
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
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)
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
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
The ToscanaJ-Project: An Open-Source Reimplementation of TOSCANA. http://toscanaj.sourceforge.net
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
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
R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht-Boston, 445–470
R. Wille: Subdirect decomposition of concept lattices. Algebra Universalis 17, 1983, 275–287
R. Wille: Line diagrams of hierarchical concept systems. Int. Classif. 11, 1984, 77–86
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
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
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
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
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
R. Wille: Contextual logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Suppl. Proc. ICCS 2000. Shaker, Aachen 2000, 265–276
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/
R. Wille, M. Zickwolff (eds.): Begriffliche Wissensverarbeitung — Grundfragen und Aufgaben. B. I.-Wissenschaftsverlag, Mannheim 1994
M. Zickwolff: Begriffliche Wissenssysteme in der Künstlichen Intelligenz. FB4-Preprint 1506, TH Darmstadt 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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