WIP -- Soffit grammar for building ontologies, based on http://www.inf.ufes.br/~gguizzardi/Building_Correct_Taxonomies_with_a_Well_Founded_Graph_Grammar.pdf

soffit.json

{
  "version": "0.1",
  "start": "K[kind]; K->N [name]; N",
  "K[kind];": [
    "K[kind]; K2[kind]; K2->N2 [name]; ",
    "K[kind]; K2[category]; K2->N2 [name]; K2->K2[depth 0]",
    "K[kind]; K2[category]; K2->N2 [name]; K2->K2[depth 1]",
    "K[kind]; K2[category]; K2->N2 [name]; K2->K2[depth 2]",
    "K[kind]; K2[mixin]; K2->N2 [name]; K2->K2[depth 0]",
    "K[kind]; K2[mixin]; K2->N2 [name]; K2->K2[depth 1]",
    "K[kind]; K2[mixin]; K2->N2 [name]; K2->K2[depth 2]",
    "K[kind]; K2[anti-rigid non-sortal]; K2->N2 [name]; ",
    "K[kind]; K2[subkind]; K2->N2 [name]; K2->K[subClassOf]",
    "K[kind]; K2[anti-rigid sortal]; K2->N2 [name]; K2->K[subClassOf]"
  ],
  "K[subkind];": [
    "K[subkind]; K2[subkind]; K2->N2 [name]; K2->K[subClassOf]",
    "K[subkind]; K2[anti-rigid sortal]; K2->N2 [name]; K2->K[subClassOf]"
  ],
  "K[anti-rigid sortal]": "K[anti-rigid sortal]; K2[anti-rigid sortal]; K2->N2 [name]; K2->K[subClassOf]",
  
  "M[mixin]; M->M[depth 1]; C[category]; C->C[depth 0]": 
  "M[mixin]; M->M[depth 1]; C[category]; C->C[depth 0];  M->C [subClassOf]",
  "M[mixin]; M->M[depth 2]; C[category]; C->C[depth 0]": 
  "M[mixin]; M->M[depth 2]; C[category]; C->C[depth 0];  M->C [subClassOf]",
  "M[mixin]; M->M[depth 2]; C[category]; C->C[depth 1]": 
  "M[mixin]; M->M[depth 2]; C[category]; C->C[depth 1];  M->C [subClassOf]"
  
}