Since [http://sourceforge.net/project/showfiles.php?group_id=71971&package_id=76633 Level 2 Version 2] SBML provides a mechanism to annotate model components with SBO terms, therefore increasing the semantics of the
model beyond the sole topology of interaction and mathematical expression.  Modelling tools such as [https://github.com/draeger-lab/SBMLsqueezer SBMLsqueezer] interpret SBO terms to augment the mathematics in the SBML file. Simulation tools can check the consistency of a rate law, convert reaction from one modelling framework to another (e.g., continuous to discrete), or distinguish between identical mathematical expressions based on different assumptions (e.g., Michaelis–Menten vs. Briggs–Haldane).  To add missing SBO terms to models, software such as [https://github.com/draeger-lab/SBOannotator SBOannotator] can be used.  Other tools such as [http://www.semanticsbml.org/ semanticSBML] can use the SBO annotation to integrate individual models into a larger one.  The use of SBO is not restricted to the development of models. Resources providing quantitative experimental information such as [https://web.archive.org/web/20061117195025/http://sabio.villa-bosch.de/SABIORK/ SABIO Reaction Kinetics] will be able to annotate the parameters (what do they mean exactly, how were they calculated) and determine relationships between them.