Formal Concept Analysis
From korrekt.org
Formal Concept Analysis (FCA) is an paradigm of representing knowledge, based on the duality of attributes and objects that are related to each other through a binary incidence relation. The resulting structure is called a formal context, can equivalently represented as a complete lattice, and gives rise to numerous practical and theoretical applications.
My work in the area is mostly related to the logical and algebraic aspects of FCA.
Updates to the following list are also available as RSS feed. A list of all publications is also available.
- Markus Krötzsch, Bernhard Ganter. A Brief Introduction to Formal Concept Analysis. In Pascal Hitzler, Henrik Schärfe, eds.: Conceptual Structures in Practice. 2009.
(view details)
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web. In Uta Priss, Simon Polovina, Richard Hill, eds.: Proceedings of the 15th International Conference on Conceptual Structures (ICCS-07). 2007.
(view details, download)
- Pascal Hitzler, Markus Krötzsch. Querying Formal Contexts with Answer Set Programs. In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds.: Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06). 2006.
(view details, download)
- Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang. A Categorical View on Algebraic Lattices in Formal Concept Analysis. In Fundamenta Informaticae 74 (2–3). 2006.
(view details, download)
- Markus Krötzsch, Grit Malik. The Tensor Product as a Lattice of Regular Galois Connections. In Rokia Missaoui, Jürg Schmid, eds.: Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA-06). 2006.
(view details, download)
- Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang. Morphisms in Context. In Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme, eds.: Proceedings of the 13th International Conference on Conceptual Structures (ICCS-05). 2005.
(view details, download)
- Markus Krötzsch. Morphisms in Logic, Topology, and Formal Concept Analysis. 2005.
(view details, download)
