TOON data reader

TOON data reader#

galactic-io-data-toon [1] [2] is a TOON data reader plugin for GALACTIC.

GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.

It uses the toon_format.decode function of the toon-format library.

The file extension is .toon. The individuals are represented either by:

  • a list: individuals are named by an integer starting from 0;

  • a dictionary: individuals are named by their keys.

For example:

[2]{name,firstname}:
  Galois,Évariste
  Wille,Rudolf

"#1":
  name: Galois
  firstname: Évariste
"#2":
  name: Wille
  firstname: Rudolf

Indices and tables#

Contents