1. Abstract
Formal Concept Analysis is a mathematical theory for deriving a concept hierarchy or formal ontology from a collection of objects and their properties. It builds on the mathematical theory of lattices and ordered sets. The conceptual view on data enables qualitative data analysis purely based on relational properties. Furthermore, there is a close relation to the analysis of bipartite graphs nourishing both fields. Conexp-clj is a stand-alone software as well as a library for computational tasks in the realm of Formal Concept Analysis. Its main purpose is to enable nontrivial examples and ideas to be
computed easily.
This tutorial will provide a brief and compact introduction the basic notions of FCA. This will include the computation of implicational bases in data as well as a demonstration of the attribute exploration algorithm. We will also show how to overcome computational limitations for large data setst hrough the application of approximative methods.
2. Names and Affiliations
- Tom Hanika, University of Kassel, Department of Electrical Engineering / Computer Science, Department of Knowledge Processing
Email: Tom.Hanika@cs.uni-kassel.de
Website: https://www.kde.cs.uni-kassel.de/en/hanika
3. Outline
- Foundations of FCA
- Simple FCA tasks and how to solve them with conexp-clj
- Learning via the exploration algorithm
- Measures and metrics in concept lattices
- Probably approximately correct learning and FCA
- State of the art and what to come in concept-clj