libSBML C++ API  5.18.0
SBO Class Reference

Detailed Description

Facilities for using the Systems Biology Ontology.

This class of objects is defined by libSBML only and has no direct equivalent in terms of SBML components. This class is not prescribed by the SBML specifications, although it is used to implement features defined in SBML.

The values of "id" attributes on SBML components allow the components to be cross-referenced within a model. The values of "name" attributes on SBML components provide the opportunity to assign them meaningful labels suitable for display to humans. The specific identifiers and labels used in a model necessarily must be unrestricted by SBML, so that software and users are free to pick whatever they need. However, this freedom makes it more difficult for software tools to determine, without additional human intervention, the semantics of models more precisely than the semantics provided by the SBML object classes defined in other sections of this document. For example, there is nothing inherent in a parameter with identifier k that would indicate to a software tool it is a first-order rate constant (if that's what k happened to be in some given model). However, one may need to convert a model between different representations (e.g., Henri-Michaelis-Menten versus elementary steps), or to use it with different modeling approaches (discrete or continuous). One may also need to relate the model components with other description formats such as SBGN (http://www.sbgn.org/) using deeper semantics. Although an advanced software tool might be able to deduce the semantics of some model components through detailed analysis of the kinetic rate expressions and other parts of the model, this quickly becomes infeasible for any but the simplest of models.

An approach to solving this problem is to associate model components with terms from carefully curated controlled vocabularies (CVs). This is the purpose of the optional "sboTerm" attribute provided on the SBML class SBase. The "sboTerm" attribute always refers to terms belonging to the Systems Biology Ontology (SBO).

Use of SBO

Labeling model components with terms from shared controlled vocabularies allows a software tool to identify each component using identifiers that are not tool-specific. An example of where this is useful is the desire by many software developers to provide users with meaningful names for reaction rate equations. Software tools with editing interfaces frequently provide these names in menus or lists of choices for users. However, without a standardized set of names or identifiers shared between developers, a given software package cannot reliably interpret the names or identifiers of reactions used in models written by other tools.

The first solution that might come to mind is to stipulate that certain common reactions always have the same name (e.g., "Michaelis-Menten"), but this is simply impossible to do: not only do humans often disagree on the names themselves, but it would not allow for correction of errors or updates to the list of predefined names except by issuing new releases of the SBML specification—to say nothing of many other limitations with this approach. Moreover, the parameters and variables that appear in rate expressions also need to be identified in a way that software tools can interpret mechanically, implying that the names of these entities would also need to be regulated.

The Systems Biology Ontology (SBO) provides terms for identifying most elements of SBML. The relationship implied by an "sboTerm" on an SBML model component is is-a between the characteristic of the component meant to be described by SBO on this element and the SBO term identified by the value of the "sboTerm". By adding SBO term references on the components of a model, a software tool can provide additional details using independent, shared vocabularies that can enable other software tools to recognize precisely what the component is meant to be. Those tools can then act on that information. For example, if the SBO identifier "SBO:0000049" is assigned to the concept of "first-order irreversible mass-action kinetics, continuous framework", and a given KineticLaw object in a model has an "sboTerm" attribute with this value, then regardless of the identifier and name given to the reaction itself, a software tool could use this to inform users that the reaction is a first-order irreversible mass-action reaction. This kind of reverse engineering of the meaning of reactions in a model would be difficult to do otherwise, especially for more complex reaction types.

The presence of SBO labels on Compartment, Species, and Reaction objects in SBML can help map those entities to equivalent concepts in other standards, such as (but not limited to) BioPAX (http://www.biopax.org/), PSI-MI (http://www.psidev.info), or the Systems Biology Graphical Notation (SBGN, http://www.sbgn.org/). Such mappings can be used in conversion procedures, or to build interfaces, with SBO becoming a kind of "glue" between standards of representation.

The presence of the label on a kinetic expression can also allow software tools to make more intelligent decisions about reaction rate expressions. For example, an application could recognize certain types of reaction formulas as being ones it knows how to solve with optimized procedures. The application could then use internal, optimized code implementing the rate formula indexed by identifiers such as "SBO:0000049" appearing in SBML models.

Finally, SBO labels may be very valuable when it comes to model integration, by helping identify interfaces, convert mathematical expressions and parameters etc.

Although the use of SBO can be beneficial, it is critical to keep in mind that the presence of an "sboTerm" value on an object must not change the fundamental mathematical meaning of the model. An SBML model must be defined such that it stands on its own and does not depend on additional information added by SBO terms for a correct mathematical interpretation. SBO term definitions will not imply any alternative mathematical semantics for any SBML object labeled with that term. Two important reasons motivate this principle. First, it would be too limiting to require all software tools to be able to understand the SBO vocabularies in addition to understanding SBML. Supporting SBO is not only additional work for the software developer; for some kinds of applications, it may not make sense. If SBO terms on a model are optional, it follows that the SBML model must remain unambiguous and fully interpretable without them, because an application reading the model may ignore the terms. Second, we believe allowing the use of "sboTerm" to alter the mathematical meaning of a model would allow too much leeway to shoehorn inconsistent concepts into SBML objects, ultimately reducing the interoperability of the models.

Relationships between SBO and SBML

The goal of SBO labeling for SBML is to clarify to the fullest extent possible the nature of each element in a model. The approach taken in SBO begins with a hierarchically-structured set of controlled vocabularies with six main divisions: (1) entity, (2) participant role, (3) quantitative parameter, (4) modeling framework, (5) mathematical expression, and (6) interaction. The web site for SBO (http://biomodels.net) should be consulted for the current version of the ontology.

The Systems Biology Ontology (SBO) is not part of SBML; it is being developed separately, to allow the modeling community to evolve the ontology independently of SBML. However, the terms in the ontology are being designed keeping SBML components in mind, and are classified into subsets that can be directly related with SBML components such as reaction rate expressions, parameters, and others. The use of "sboTerm" attributes is optional, and the presence of "sboTerm" on an element does not change the way the model is interpreted. Annotating SBML elements with SBO terms adds additional semantic information that may be used to convert the model into another model, or another format. Although SBO support provides an important source of information to understand the meaning of a model, software does not need to support "sboTerm" to be considered SBML-compliant.

Static Public Member Functions

static bool checkTerm (const std::string &sboTerm)
 Checks the format of the given SBO identifier string. More...
 
static bool checkTerm (int sboTerm)
 Checks the format of the given SBO identifier, given in the form of the integer portion alone. More...
 
static std::string intToString (int sboTerm)
 Returns the integer as a correctly formatted SBO identifier string. More...
 
static bool isConservationLaw (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isContinuousFramework (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isDiscreteFramework (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isEntity (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isEvent (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isFunctionalCompartment (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isFunctionalEntity (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isInteraction (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isKineticConstant (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isLogicalFramework (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isMaterialEntity (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isMathematicalExpression (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isMetadataRepresentation (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isModellingFramework (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isModifier (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isObselete (unsigned int term)
 Predicate for checking whether the given term is obsolete. More...
 
static bool isOccurringEntityRepresentation (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isParticipant (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isParticipantRole (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isPhysicalEntityRepresentation (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isPhysicalParticipant (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isProduct (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isQuantitativeParameter (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isQuantitativeSystemsDescriptionParameter (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isRateLaw (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isReactant (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isSteadyStateExpression (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static bool isSystemsDescriptionParameter (unsigned int term)
 Returns true if the given term identifier comes from the stated branch of SBO. More...
 
static int stringToInt (const std::string &sboTerm)
 Returns the string as a correctly formatted SBO integer portion. More...
 

Member Function Documentation

static bool SBO::checkTerm ( const std::string &  sboTerm)
static

Checks the format of the given SBO identifier string.

Returns
true if sboTerm is in the correct format (a zero-padded, seven digit string), false otherwise.
static bool SBO::checkTerm ( int  sboTerm)
static

Checks the format of the given SBO identifier, given in the form of the integer portion alone.

Returns
true if sboTerm is in the range (0000000–9999999), false otherwise.
string SBO::intToString ( int  sboTerm)
static

Returns the integer as a correctly formatted SBO identifier string.

Returns
the given integer sboTerm as a zero-padded seven digit string.
Note
If the sboTerm is not in the correct range (0000000–9999999), an empty string is returned.
bool SBO::isConservationLaw ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "conservation law", false otherwise.
bool SBO::isContinuousFramework ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "continuous framework", false otherwise.
bool SBO::isDiscreteFramework ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "discrete framework", false otherwise.
bool SBO::isEntity ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Note
The "entity" SBO term is now known as "physical entity representation".
Returns
true if term is-a SBO "entity", false otherwise.
bool SBO::isEvent ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a Event, false otherwise

Returns
true if term is-a SBO "event", false otherwise.
bool SBO::isFunctionalCompartment ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "functional compartment", false otherwise.
bool SBO::isFunctionalEntity ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "functional entity", false otherwise.
bool SBO::isInteraction ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Note
The "interaction" SBO term is now known as "occurring entity representation".
Returns
true if term is-a SBO "interaction", false otherwise.
bool SBO::isKineticConstant ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a KineticConstant, false otherwise

Returns
true if term is-a SBO "kinetic constant", false otherwise.
bool SBO::isLogicalFramework ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "logical framework", false otherwise.
bool SBO::isMaterialEntity ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "material entity", false otherwise.
bool SBO::isMathematicalExpression ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a MathematicalExpression, false otherwise

Returns
true if term is-a SBO "mathematical expression", false otherwise.
bool SBO::isMetadataRepresentation ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "metadata representation", false otherwise.
bool SBO::isModellingFramework ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a ModellingFramework, false otherwise

Returns
true if term is-a SBO "modeling framework", false otherwise.
bool SBO::isModifier ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a isModifier, false otherwise

Returns
true if term is-a SBO "modifier", false otherwise.
bool SBO::isObselete ( unsigned int  term)
static

Predicate for checking whether the given term is obsolete.

Returns
true if term is-a SBO "obsolete" term, false otherwise.
bool SBO::isOccurringEntityRepresentation ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "occurring entity representation", false otherwise.
bool SBO::isParticipant ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a Participant, false otherwise

Returns
true if term is-a SBO "participant", false otherwise.
bool SBO::isParticipantRole ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a ParticipantRole, false otherwise

Returns
true if term is-a SBO "participant role", false otherwise.
bool SBO::isPhysicalEntityRepresentation ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "physical entity representation", false otherwise.
bool SBO::isPhysicalParticipant ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a PhysicalParticipant, false otherwise

Returns
true if term is-a SBO "physical participant, false otherwise.
bool SBO::isProduct ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a Product, false otherwise

Returns
true if term is-a SBO "product", false otherwise.
bool SBO::isQuantitativeParameter ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a QuantitativeParameter, false otherwise

Note
The "quantitative parameter" SBO term is now known as "systems description parameter".
Returns
true if term is-a SBO "quantiative parameter", false otherwise.
bool SBO::isQuantitativeSystemsDescriptionParameter ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a QuantitativeSystemsDescriptionParameter, false otherwise

Returns
true if term is-a SBO "quantiative systems description parameter", false otherwise.
bool SBO::isRateLaw ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a RateLaw, false otherwise

Returns
true if term is-a SBO "rate law", false otherwise.
bool SBO::isReactant ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

functions for checking the SBO term is from correct part of SBO returns true if the term is-a Reactant, false otherwise

Returns
true if term is-a SBO "reactant", false otherwise.
bool SBO::isSteadyStateExpression ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "steady state expression", false otherwise.
bool SBO::isSystemsDescriptionParameter ( unsigned int  term)
static

Returns true if the given term identifier comes from the stated branch of SBO.

Returns
true if term is-a SBO "systems description parameter", false otherwise.
static int SBO::stringToInt ( const std::string &  sboTerm)
static

Returns the string as a correctly formatted SBO integer portion.

Returns
the given string sboTerm as an integer. If the sboTerm is not in the correct format (a zero-padded, seven digit string), -1 is returned.