FCA4J is a Java toolkit for formal concept analysis purposes 


For RCA visualization, you can use RCAviz (http://rcaviz.lirmm.fr). FCA4J helps you to generate the JSON input file for RCAViz (command RCA)



You will find a simple introduction in Getting started and for commands Lattice, AocPoset, RuleBasis, Irreducible, Clarify, Reduce, Family .


Binaries


Sources


Datasets

Usage


java -jar fca4j-cli.jar <command> <input> [<output>] [options]


available commands are:


Help <command>

print help to read more about a command

by using Help on a command, you can obtain examples of usage, e.g.

java -jar fca4j-cli.jar Help AOCPOSET

Lattice

build a concept lattice. ADD_EXTENT algorithm builds the complete concept lattice. ICEBERG builds 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)

Inspect

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

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

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)

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.