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.