Towards a logic-based method to infer provenance-aware molecular networks

Providing techniques to automatically infer molecular networks is particularly important to understand complex relationships between biological objects. We present a logic-based method to infer such networks and show how it allows inferring signalling networks from the design of a knowledge base. Provenance of inferred data has been carefully collected, allowing quality evaluation. More precisely, our method (i) takes into account various kinds of biological experiments and their origin; (ii) mimics the scientist's reasoning within a first-order logic setting; (iii) specifies precisely the kind of interaction between the molecules; (iv) provides the user with the provenance of each interaction; (v) automatically builds and draws the inferred network.

[1]  Yukiko Matsuoka,et al.  PathText: a text mining integrator for biological pathway visualizations , 2010, Bioinform..

[2]  L. Hood,et al.  A data integration methodology for systems biology: experimental verification. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[3]  D. Lauffenburger,et al.  Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction , 2009, Molecular systems biology.

[4]  Yukiko Matsuoka,et al.  Using process diagrams for the graphical representation of biological networks , 2005, Nature Biotechnology.

[5]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[6]  Rainer Spang,et al.  Inferring cellular networks – a review , 2007, BMC Bioinformatics.

[7]  Christophe Ambroise,et al.  SIMoNe: Statistical Inference for MOdular NEtworks , 2009, Bioinform..

[8]  Carito Guziolowski,et al.  Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets , 2009, CIBB.

[9]  Sarala M. Wimalaratne,et al.  The Systems Biology Graphical Notation , 2009, Nature Biotechnology.

[10]  Katsumi Inoue,et al.  SOLAR: An automated deduction system for consequence finding , 2010, AI Commun..

[11]  Julio Saez-Rodriguez,et al.  Crowdsourcing Network Inference: The DREAM Predictive Signaling Network Challenge , 2011, Science Signaling.

[12]  D. di Bernardo,et al.  How to infer gene networks from expression profiles , 2007, Molecular systems biology.

[13]  Tommi S. Jaakkola,et al.  Physical Network Models , 2004, J. Comput. Biol..

[14]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[15]  K. Sachs,et al.  Causal Protein-Signaling Networks Derived from Multiparameter Single-Cell Data , 2005, Science.

[16]  Ignat Drozdov,et al.  Gene Network Inference and Biochemical Assessment Delineates GPCR Pathways and CREB Targets in Small Intestinal Neuroendocrine Neoplasia , 2011, PloS one.

[17]  Martin Gebser,et al.  Detecting inconsistencies in large biological networks with answer set programming , 2008, Theory and Practice of Logic Programming.

[18]  Anne Poupon,et al.  Mapping the Follicle-Stimulating Hormone-Induced Signaling Networks , 2011, Front. Endocrin..

[19]  Jason A. Papin,et al.  Reconstruction of cellular signalling networks and analysis of their properties , 2005, Nature Reviews Molecular Cell Biology.

[20]  Age K. Smilde,et al.  Metabolic network discovery through reverse engineering of metabolome data , 2009, Metabolomics.

[21]  Julio Saez-Rodriguez,et al.  Identifying Drug Effects via Pathway Alterations using an Integer Linear Programming Optimization Formulation on Phosphoproteomic Data , 2009, PLoS Comput. Biol..

[22]  Katsumi Inoue,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks , 2022 .

[23]  Julio Saez-Rodriguez,et al.  Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli , 2011, PLoS Comput. Biol..

[24]  B. Di Camillo,et al.  A Boolean Approach to Linear Prediction for Signaling Network Modeling , 2010, PloS one.