FCA4J v0.4.6
Formal concept analysis

DBASIS

compute the ordered direct basis of implications (D-Basis)

Usage

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

Options

OptionDescription
-x <MINIMAL-SUPPORT> Retain only implications whose support is minimal
-t <POOL-MODE> multithreading options are:
  • MONO
  • MULTITHREAD(default)
-r <REPORTFILE> generate report about algorithm execution
-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:
  • TXT (default)
  • JSON
  • XML
  • DATALOG
-m <IMPL> supported implementations are
  • BITSET (default)
  • ROARING_BITMAP
  • SPARSE_BITSET
  • TREESET
  • INT_ARRAY
  • ARRAYLIST
  • BOOL_ARRAY
-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