FCA4J

Lattice

build a concept lattice. ADD_EXTENT algorithm build the complete concept lattice. ICEBERG build a lattice with only the top-most concepts of the concept lattice

AocPoset

build a sub-order of the concept lattice restricted to attribute-concepts and object-concepts

RuleBasis

compute the canonical basis of implications  (Duquenne-Guigues)

Clarify

eliminate any duplicated objets (--xo option),  attributes (--xa option) or both

Reduce

 reduce formal context to irreducibles (--xo option), attributes (--xa option) or both

Irreducible

list irreducible objets (-lobj option) or attributes (-lattr option). Use -u option to operate by class on unclarified context

Inspect

inspect formal context file and display information about size, density etc.

RCA

to create a conceptual structure family from a relational context family. The output is a JSON file that can be opened in RCAviz, a DOT file that contains the graph of the conceptual structure family at the end of the process,TXT files for tracing the size of structures at each step, and traces.csv that contains the formal and relational contexts and other settings used at each step. The input is a relational context family.

Binarize

transform multivalued data table to formal context

Convert

convert formal context file format

Family

to create and manage relational context families (set of formal contexts and relations)