JSON data reader

galactic-io-data-json is a JSON data reader plugin for GALACTIC.

The file extension is .json. The individuals are either represented by a list or by a dictionary. For example:

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

This reader uses the json.load function of the python core library.

GALACTIC [1] [2] stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.

Learning

Release Notes

Indices and tables