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

More Information | Back to archive
Full Text of this article Full article [PDF] (437,18 kB)
doi doi:10.2390/biecoll-jib-2007-80
submission August 03, 2007
published October 01, 2007

Allyson L. Lister, Matthew Pocock, Anil Wipat

Correspondence should be addressed to:
Anil Wipat
School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom
ku.ca.lcn@nulltapiw.lina


Abstract

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.

Reference

Allyson L. Lister, Matthew Pocock, Anil Wipat. Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models. Journal of Integrative Bioinformatics, 4(3):80, 2007. Online Journal: http://journal.imbio.de/index.php?paper_id=80
imprint | sitemap | credits | top