Liking cljdoc? Tell your friends :D

conexp-clj Build Status

This is conexp-clj, a general purpose software tool for Formal Concept Analysis. Its main purpose is to enable nontrivial examples to be computed easily, but it can be used for much, much more.


  1. Getting Started
  2. Don't Bother Me with Theory, I Want to Do Stuff! (aka: Tutorials)
    1. A Gentle Introduction (ICFCA 2013)
    2. Compute the Canonical Base from a Formal Context that is given in CSV Format
  3. A more complete overview over conexp-clj
    1. Notation and Syntax
    2. Creating and Working with Formal Contexts
    3. Concept Lattices
    4. IO for Formal Contexts
    5. Implications
    6. Exploration
    7. Scaling Many-Valued Contexts
  4. Example use cases of conexp-clj
    1. Formal Contexts from Implications
    2. A Formal Context of Functions
    3. Context of All Permutations on a Finite Set
    4. The Tamari Lattice
    5. Preconcept Covers
    6. Number of Elements of the Free Distributive Lattice
    7. Counting Linear Extensions
    8. Computing Traces in Contexts
    9. Counting Quasiorders
    10. Rudolph's Algorithm for Computing Bases
  5. Advanced Topics
    1. pq-cores
    2. REST-API Usage
  6. API documentation
  7. Development


The project has been started by Daniel Borchmann under supervision of Christian Meschke as part of the DFG project GA 216/10-1. It has since been developed further into a general purpose FCA tool by Daniel Borchmann until his departure from academia in 2017. From then on, Tom Hanika took over and is still the principal maintainer of conexp-clj.


Note that conexp-clj is not a high-performance tool for Formal Concept Analysis and may sometimes be considerably slower then comparable tools. If you want more performance, check out Uta Priss' website on FCA software.

Contributing Authors



Copyright ⓒ 2009—2018 Daniel Borchmann, 2018–2020 Tom Hanika

Distributed under the Eclipse Public License.

This program uses an adapted version of the G library, a 2D graphics library and rendering engine for Java, ⓒ 2009 GeoSoft, licensed under the GNU Lesser General Public License (LGPL). Modifications to the original version of G are only concerned with exposing internals necessary for conexp-clj to work. The modified version of G is again licensed under LGPL.

This program uses parts of the LatDraw library, ⓒ 2002 Ralph Freese.

Can you improve this documentation? These fine people already did:
Daniel Borchmann, Tom Hanika & Maximilian Marx
Edit on GitHub

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close