Introduction

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).

The RCA command has evolved. New options have been introduced in version 0.4.5, particularly regarding the renaming of relational attributes.

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

Binaries

Latest executable jar	fca4j-app-light-0.4.5.jar
Other	Downloads

Sources

https://gite.lirmm.fr/gutierre/fca4j-project

Datasets

https://gite.lirmm.fr/gutierre/fca4j-benchmark

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.