The 13th International Conference on Concept Lattices and Their Applications
Benchmarks
At this part of workshop participants will present work of developed program on standard datasets.
Input of the program: One file in .cxt or .fimi or .json format. The file should contains formal context.
Input of the program: One file in .cxt or .fimi or .json format. The file should contains formal context.
Output of the program:One file in .cxt or .fimi or .json format. The file should contains set of concepts.
Basic Formal Concept Analysis tasks
- Generation of
- a specified subset of formal concepts,
- FCA covering relation,
- implication bases,
- layout of FCA diagram (visualization).
Datasets
- Standard datasets from UCI Repository.
- Special sequences of formal contexts with increased complexity.
File formats
Main file format for storing formal context is Burmeister's CXT (see Main FCART data formats).Standard benchmarks for algorithms
Need to specify. We have some suggestions and experience, but additional ideas are greatly appreciated.
Main tasks
Generation of
- a specified subset of formal concepts,
- FCA covering relation,
- implication bases,
- layout of FCA diagram (visualization).
- frequent subsets.
Generation ofa specified subset of formal concepts
Variations:
- All formal concepts.
- All formal concepts with size of extent > K.
- All formal concepts with size of intent > K.
Input: Binary formal context (cxt, fimi, …)
Output: Set of concepts ()(в каком формате?)
- Datasets
- UCI
- Families of random contexts
- Participants datasets
- Formats requirements
- Cxt, csv, json
- Input.txt with formal context in cxt-format
- Output.txt for the cases
- Concepts
- lattice