This is the "Foundations of Software Languages" Ontology.
See the accompanying paper here: https://arxiv.org/abs/2605.17374
The following license applies: https://creativecommons.org/licenses/by/4.0/deed.en
See also FSL's sibling FEX (under construction!): https://github.com/softlang/fex