Formal Concept Analysis

From International Center for Computational Logic
Toggle side column

Formal Concept Analysis

Formal Concept Analysis is a mathematical theory which describes concepts and conceptual hierarchies by means of lattice theory. Thereby, the basis are formal contexts, elementary data structures that describe objects and their attributes. A formal concept is then composed of a set of objects and a set of attributes which -- in line with philosophical and linguistic traditions -- are called concept extent and concept intent, respectively. Formal concepts can then be put into relation to each other, forming a hierarchy of sub- and superconcepts. Formal Concept Analysis was founded in the 1980s in Darmstadt in the group of Rudolf Wille and has become a discipline with numerous practical applications in diverse areas, including data- and textmining, knowledge management, Semantic Web, software engineering, economics or biology.

Journal Articles

Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download

José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download

Daniel Borchmann, Rafael Peñaloza, Wenqian Wang
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
Studia Universitatis Babeş-Bolyai Informatica, 59:10-27, June 2014
Details Download

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74(2-3):301-328, July 2006
Details Download


Proceedings Articles

Larry González, Aidan Hogan
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 27th Web Conference (WWW), Lyon, France, April 23–27, 2018, to appear
Details Download

Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download

Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download

Sebastian Rudolph
On the Succinctness of Closure Operator Representations
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of LNCS, 15-36, June 2014. Springer
Details

Johannes Wollbold, Rüdiger Köhling, Daniel Borchmann
Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of Lecture Notes in Computer Science, 268-283, 2014. Springer
Details

Daniel Borchmann
Experience Based Nonmonotonic Reasoning
In Pedro Cabalar, Tran Cao Son, eds., Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, 200-205, 2013. Springer
Details Download

Daniel Borchmann
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
In Laszlo Szathmary, Uta Priss, eds., Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, volume 972 of CEUR Workshop Proceedings, 9-20, October 2012
Details Download

Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
Details

Markus Krötzsch, Grit Malik
The Tensor Product as a Lattice of Regular Galois Connections
In Rokia Missaoui and Jürg Schmid, eds., Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA2006), Dresden, Germany, volume 3874 of Lecture Notes in Computer Science, February 2006. Springer
Details Download

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, eds., Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, volume 3596 of Lecture Notes in Computer Science, 223-237, July 2005. Springer, Berlin
Details Download

Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download


Books

Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, December 2006
Details


Book Chapters

Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, eds., Conceptual Structures in Practice, CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009
Details

Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details


Edited Proceedings

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Karell Bertet, Sebastian Rudolph
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014
Volume 1252 of CEUR, October 2014. CEUR Workshop Proceedings
Details

Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Volume 8323 of Lecture Notes in Computer Science, 2014. Springer
Details

Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download

Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details

Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details

Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
Details


Doctoral Theses

Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Phd thesis, Technische Universität Dresden, 2014/09/09
Details Download


Talks and Miscellaneous

Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Vortrag, June 2014
Details

Daniel Borchmann
Exploring Implications and General Concept Inclusions with High Confidence
Vortrag, October 2014
Details

Daniel Borchmann
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj
Vortrag, May 2013
Details

Daniel Borchmann
General Concept Inclusions with High Confidence in Finite Interpretations
Vortrag, September 2013
Details

Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download

Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, February 2005
Details Download

Conexp-clj
A general purpose tool for Formal Concept Analysis