Quickstart

This is the five-minute tour. By the end you'll have computed a concept lattice, mined some implications, and exported an SVG diagram.

Install

If you have Rust installed:

git clone https://github.com/Feudjio-Anthony/mondher
cd mondher
cargo install --path crates/mondher-bin

This installs mondher to ~/.cargo/bin/. For other ways to install, see the installation page.

Your first context

Mondher reads formal contexts. Create a file birds-fish-dogs.cxt:

B

3
3

bird
fish
dog
can-fly
swims
warm-blooded
X.X
.X.
..X

Each X means "this object has this attribute"; each . means it doesn't. So bird has can-fly and warm-blooded, fish has only swims, and dog has only warm-blooded.

Compute the lattice

mondher compute birds-fish-dogs.cxt

You'll see five formal concepts printed, each with its extent and intent, plus the Hasse diagram's covering edges.

Mine the implication base

mondher implications birds-fish-dogs.cxt

You'll see the canonical Duquenne-Guigues base — the minimum set of "rules" the context entails. For this tiny context: just one rule, can-fly → warm-blooded.

Export a lattice diagram

mondher export --format svg birds-fish-dogs.cxt > lattice.svg

Open lattice.svg in a browser. Five circles connected by five lines — the Hasse diagram of the lattice.

For LaTeX papers, use TikZ instead:

mondher export --format tikz birds-fish-dogs.cxt > lattice.tex

The output goes directly into a \begin{tikzpicture} block ready for \input{lattice.tex} in your .tex source.

What next

• Other input formats: see formats.
• Every command and option: see the CLI reference.
• Mine partial rules (with confidence < 1): mondher rules --help.