JSON data reader

JSON data reader#

galactic-io-data-json [1] [2] is a JSON data reader plugin for GALACTIC.

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

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.

Indices and tables#

Contents