multiple-rules-example.json 303 Bytes
Newer Older
1 2 3 4 5 6 7 8
[{
    "name": "Galois Lattice",
    "tags": ["FCA", "initial example"],
    "description": "Compute the Galois Lattice, represented as under/2 atoms",
    "ASP file": "data/asp/build_galois_lattice.lp",
    "inputs": ["rel/2", "ext/2", "int/2", "concept/1"],
    "outputs": ["under/2", "smaller/2"]
}]