Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

Goksel Misirli (1) , Matteo Cavaliere (2) , William Waites (2) , Matthew Pocock (1) , Curtis Madsen (1) , Owen Gilfellon (1) , Ricardo Honorato-Zimmer (2) , Paolo Zuliani (1) , Vincent Danos (3, 4, 5) , Anil Wipat (1)

1 School of Computing Science [Newcastle]
2 School of Informatics [Edimbourg]
3 ANTIQUE - Analyse Statique par Interprétation Abstraite
4 CNRS - Centre National de la Recherche Scientifique
5 DI-ENS - Département d'informatique - ENS Paris

Motivation: Biological systems are complex and challenging to model and therefore model reuse is highly desirable. To promote model reuse, models should include both information about the specifics of simulations and the underlying biology in the form of metadata. The availability of computationally tractable metadata is especially important for the effective automated interpretation and processing of models. Metadata are typically represented as machine-readable annotations which enhance programmatic access to information about models. Rule-based languages have emerged as a modelling framework to represent the complexity of biological systems. Annotation approaches have been widely used for reaction-based formalisms such as SBML. However, rule-based languages still lack a rich annotation framework to add semantic information, such as machine-readable descriptions, to the components of a model. Results: We present an annotation framework and guidelines for annotating rule-based models, encoded in the commonly used Kappa and BioNetGen languages. We adapt widely adopted annotation approaches to rule-based models. We initially propose a syntax to store machine-readable annotations and describe a mapping between rule-based modelling entities, such as agents and rules, and their annotations. We then describe an ontology to both annotate these models and capture the information contained therein, and demonstrate annotating these models using examples. Finally, we present a proof of concept tool for extracting annotations from a model that can be queried and analyzed in a uniform way. The uniform representation of the annotations can be used to facilitate the creation, analysis, reuse and visualization of rule-based models. Although examples are given, using specific implementations the proposed techniques can be applied to rule-based models in general. Availability and implementation: The annotation ontology for rule-based models can be found at http://purl.org/rbm/rbmo. The krdf tool and associated executable examples are available at http:// purl.org/rbm/rbmo/krdf.

Domaines: Informatique [cs]; Sciences du Vivant [q-bio]

Goksel Misirli, Matteo Cavaliere, William Waites, Matthew Pocock, Curtis Madsen, et al.. Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinformatics, 2016, 32 (6), pp.908-917. ⟨10.1093/bioinformatics/btv660⟩. ⟨hal-01976304⟩