dy developed formal ties to SBO. Since Level 2 Version 2, SBML elements carry an optional sboTerm attribute, that precisely defines the meaning of encoded model entities (species, compartments, parameters and other elements) and their relationships (variable assignments, reactions, events, etc.), see for instance Figure 2.