Ontify
Formal grammar whose production rules can be applied to a nonterminal symbol regardless of its context.