Formal concept analysis

AOCPOSET

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

Usage

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

Option	Description
`-a <ALGO>`	supported algorithms are: `ARES` `CERES` `PLUTON` `HERMES (default)`
`-i <INPUT-FORMAT>`	supported formats are: `CXT (Burmeisters ConImp)` `SLF (HTK Standard Latice Format)` `XML (Galicia v3)` `CEX (ConExp)` `CSV (Comma separated values)`
`-o <OUTPUT-FORMAT>`	supported formats are: `XML (default)` `JSON`
`-g <DOTFILE>`	.DOT output file for GraphViz
`-d <DISPLAY-MODE>`	display format of the concepts for GraphViz. Available formats are: `FULL` `SIMPLIFIED (default)` `MINIMAL`
`-sta`	compute concept stability for dot file
`-m <IMPL>`	supported implementations are `BITSET (default)` `ROARING_BITMAP` `SPARSE_BITSET` `HASHSET` `TREESET` `INT_ARRAY` `ARRAYLIST` `BOOL_ARRAY`
`-cd <PATH>`	folder to generate a datalog file by concept for results
`-cdu <DLGPFILE>`	generate a unique datalog file with all concepts descriptions
`-nds`	limit datalog concept descriptions to immediate siblings (it reduces production of negative constraints)
`-s <SEPARATOR>`	separator (CSV format only): `COMMA (default)` `SEMICOLON` `TAB`
`-timeout <SECONDS>`	set timeout for algorithm execution, in seconds
`-v, --verbose`	print a final report of the algorithm execution

java -jar fca4j-cli.jar AOCPOSET mydata.cxt myresult.xml -a HERMES

compute aoc-poset with Hermes algorithm from mydata.cxt and store concept order in myresult.xml

java -jar fca4j-cli.jar AOCPOSET mydata.slf myresult.json -a CERES -g mygraphic.dot

compute aoc-poset with Ceres algorithm from mydata.slf, store concept order in myresult.json and in graphiz dot file mygraphic.dot

java -jar fca4j-cli.jar AOCPOSET my.data -i CXT -g mygraphic.dot -d FULL

compute aoc-poset from my.data written in CXT format, just store result for graphviz with FULL display mode