Toggle Main Menu Toggle Search

Open Access padlockePrints

Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models

Lookup NU author(s): Dr Allyson Lister, Dr Matthew Pocock, Professor Anil Wipat



The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that requires careful checking. Currently, the rules and constraints of model creation, curation, and annotation are distributed over at least three separate documents: the SBML schema document (XSD), the Systems Biology Ontology (SBO), and the ?Structures and Facilities for Model Definition? document. The latter document contains the richest set of constraints on models, and yet it is not amenable to computational processing. We have developed a Web Ontology Language (OWL) knowledge base that integrates these three structure documents, and that contains a representative sample of the information contained within them. This Model Format OWL (MFO) performs both structural and constraint integration and can be reasoned over and validated. SBML Models are represented as individuals of OWL classes, resulting in a single computationally amenable resource for model checking. Knowledge that was only accessible to humans is now explicitly and directly available for computational approaches. The integration of all structural knowledge for SBML models into a single resource creates a new style of model development and checking.

Publication metadata

Author(s): Lister AL, Pocock M, Wipat A

Publication type: Article

Publication status: Published

Journal: Journal of Integrative Bioinformatics

Year: 2007

Volume: 4

Issue: 3

Pages: 80

Date deposited: 29/03/2011

ISSN (electronic): 1613-4516

Publisher: IMBio


DOI: 10.2390/biecoll-jib-2007-80

Notes: Article Number 80.


Altmetrics provided by Altmetric