Conceptual Knowledge Software: Recent Advancements and Examples @ CONCEPTS 2025:
September 8th, 2025
Workshop at the 2nd International Joint Conference on Conceptual Knowledge Structures
Content
Formal concept analysis (FCA) is a rich and comprehensive theory for the conceptual analysis of data. Putting this theory into practice requires software libraries and application software. There are currently a large number of such libraries and programmes that often only map the rudimentary parts of FCA. This means that a major part of the theory remains closed to application. In addition, the computational complexity of individual aspects of FCA poses major challenges for practical implementation in software.
The aim of this workshop is to present and discuss recent developments in the field of conceptual software. It is immaterial whether it is about single algorithms, software libraries, or holistic application software. Also, the workshop is not limited to software that is concerned with FCA. The unifying element will be the conceptual structures as discussed at the International Joint Conference on Conceptual Knowledge Structures.
Keywords and Topics
- Knowledge Acquisition and Capture using Software
- Software solutions for Conceptual Exploration
- Software Solutions for Data Mining and Conceptual Knowledge Discovery
- New Tools for Conceptual Knowledge Processing
- New functionalities in well-known conceptual knowledge processing software
- Open problems in conceptual software
Duration, Format, and Dates
- potential presenters submit their proposition for a talk in the form of a short abstract of typically up to 200 words until 2025-07-31 via consoft@cs.uni-kassel.de
- the proposition should contain:
    - name of the software to be discussed or used,
- link to the software (e.g., a link to a public repository such as github)
- if available, link to a publication about the software
- title of the talk
- name(s) of the presenter(s)
 
- the workshop is planned for 1/2 day and consists of a small number short presentation; a presentation should not exceed 25 minute + 5 minutes for questions
- the decision on acceptance is made on an ad-hoc basis, approximately two weeks after submission
- if insecure if your proposition or topic matches, feel encouraged to contact the organizers
Goals and Outcomes
- Spread knowledge about conceptual knowledge solutions
- Collect problems and ideas for future developments
- Nourish the application of FCA and related theories
Organizers
- Tom Hanika – Contact
    - Institute for Computer Science, University of Hildesheim, Germany
 
- Egor Dudyrev – Contact
    - Université de Lorraine
 
Program
The workshop will start with the nine presentation that cover a wide spread of software tools and libraries. Every talk is supposed to take at most 20 minutes (including Q&A). The last 10 minutes will be dedicated to a general discussion about goals, issues, important tasks for conceptual software.
List of Talks and Slides
- Paspailleur: Python package for Pattern Structures 
 Egor Dudyrev — Slides
- Triples to Binaries: Mapping Conceptual Graphs and other triple structures to Formal Concept Analysis CG-FCA 
 Simon Polovina — Slides
- Formal Concept Analysis beyond binary data: past and future in the GALACTIC plattform 
 Karell Bertet and Christophe Demko — Demo
- fca_math A python library for Formal Concept Analysis – Mathematical Foundations 
 Bernhard Ganter
- odis – A Rust Library and Web GUI for FCA 
 Dominik Dürrschnabel — Slides
- “LLMs Do It All” – A Reality Check with Formal Concepts 
 Valentino Cocks, Arame Diop, Oscar Jimenez Flores, Yazmín Mendoza, Marianne Huchard, Yulin (Huaxi) Zhang — Slides
- Measuring and  and Scaling in Concept Lattices: Novel Tools in conexp-clj 
 Tom Hanika — Slides
- Polyadic Concept Analysis 
 Alexandre Bazin — Slides
- Caspailleur: Lightweight Python package for Formal Concept Analysis 
 Egor Dudyrev — Slides
Timtable
| Timeslot | Descriptionff | 
|---|---|
| 09:00 – 09:10 | Opening | 
| 09:10 – 09:30 | Paspailleur | 
| 09:30 – 09:50 | GALACTIC plattform | 
| 09:50 – 10:10 | Polyadic Concept Analysis | 
| 10:10 – 10:30 | LLM’s Do It All | 
| 10:30 – 10:50 | Triples to Binaries | 
| 10:50 – 11:00 | interim summary | 
| 11:00 – 11:30 | COFFEE BREAK | 
| 11:30 – 11:50 | Caspailleur | 
| 11:50 – 12:10 | odis | 
| 12:10 – 12:30 | conexp-clj | 
| 12:30 – 12:50 | fca_math | 
| 12:50 – 13:00 | Closing | 
Survey
Please, help future conceptual software by taking part in the Survey
Literature and Software
Coming soon.