Math

conexp-clj

conexp-clj is an attempt to provide a general purpose tool for Formal Concept Analysis. As an original attempt to extend ConExp with new functionalities it is written completely from scratch in Clojure.

WARNING: This software is in alpha stage. Expect the unexpected while using it.

---

News

• 2012-03-21
  Updating website to point to github repository.
• 2011-11-25
  Separated implementation of Felix's exploration algorithm for EL into its own repository.
• 2011-11-25
  Moved code to github (some time ago)
• 2011-10-02
  Moved the website of conexp-clj from the math account to kxpq.de and restructured it.

---

Development

Sources are available online, licensed under the Eclipse Public License -v 1.0, same as Clojure. Note that you need Leiningen for development.

Besides that, binary snapshots are available, namely

• Last tagged release (0.0.6-alpha)
• Current snapshot

Note that the snapshot release might have some incompatible changes to the last tagged one.

Installation

To install conexp-clj, download the zip-file you want, unzip and follow the instructions in the INSTALL file. To start just call the appropriate script under conexp-clj/bin, i.e. for Linux this is

./conexp-clj/bin/conexp-clj.sh

and if you want to start the gui (which is experimental and not yet finished by now (when will a gui be finished at all?)), call the script with --gui:

./conexp-clj/bin/conexp-clj.sh --gui

Features

• Basic Operations on Formal Contexts
• Relational Algebra with Formal Contexts
• Transparent IO for Formal Contexts (in development)
• Scaling for Many-Valued Contexts
• Implicational Theory and Basic Attribute Exploration
• NextClosure (of course)
• Computing Luxenburger-Bases and Iceberg Concept Sets
• IO for Many-Valued Contexts
• Lattice Layouts and Lattice IO (some...)
• A bit of Fuzzy-FCA
• Interface for sage

Documentation

By now, documentation is done via example files. Besides the special examples files given below, there exist some example files which give a general overview of how to use conexp-clj. Those files cover

• basics
• formal contexts
• lattices
• IO
• implications

They have been written by Sebastian Böhm.

Additionally, for general help on a function f, you can use the clojure function doc with

(doc f)

For finding functions you may find useful, you can use find-doc

(find-doc "Whatever you may find useful")

Some more examples:

• Attribute Exploration a demonstration how attribute exploration can be done in conexp-clj.
• Fuzzy FCA, a sample file to show how to use fuzzy FCA with conexp-clj
• Factor Analysis, a small program that demonstrates how to use conexp-clj for factorizing contexts
• Formal Contexts for Implications, computing a context for a set of implications
• A Formal Context of Functions, see the paper by Artem Revenko and Sergej Kuznetzov for the CLA2010
• Permutations as Formal Context, computes a context whose concept lattice is isomorphic to the lattice of permutations on the set {0,...,n}.
• Tamari Lattice, the lattice of all bracketings of n+1 symbols (a.k.a. the Tamari Lattice of parameter n)