Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data

Logical modeling has been widely used to understand and expand the knowledge about protein interactions among different pathways. Realizing this, the caspo-ts system has been proposed recently to learn logical models from time series data. It uses Answer Set Programming to enumerate Boolean Networks (BNs) given prior knowledge networks and phosphoproteomic time series data. In the resulting sequence of solutions, similar BNs are typically clustered together. This can be problematic for large scale problems where we cannot explore the whole solution space in reasonable time. Our approach extends the caspo-ts system to cope with the important use case of finding diverse solutions of a problem with a large number of solutions. We first present the algorithm for finding diverse solutions and then we demonstrate the results of the proposed approach on two different benchmark scenarios in systems biology: (1) an artificial dataset to model TCR signaling and (2) the HPN-DREAM challenge dataset to model breast cancer cell lines.

[1]  Guanming Wu,et al.  ReactomeFIViz : a Cytoscape app for pathway and network-based data analysis , 2022 .

[2]  Martin Gebser,et al.  Clingo = ASP + Control: Preliminary Report , 2014, ArXiv.

[3]  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..

[4]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[5]  Evan O. Paull,et al.  Inferring causal molecular networks: empirical assessment through a community-based effort , 2016, Nature Methods.

[6]  David A. Rosenblueth,et al.  Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver , 2014, AlCoB.

[7]  Torsten Schaub,et al.  A Tutorial on Hybrid Answer Set Solving with clingo , 2017, RW.

[8]  Steffen Klamt,et al.  A methodology for the structural and functional analysis of signaling and regulatory networks , 2006, BMC Bioinformatics.

[9]  Julio Saez-Rodriguez,et al.  Revisiting the Training of Logic Models of Protein Signaling Networks with ASP , 2012, CMSB.

[10]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[11]  Patrik Simons,et al.  Extending the Stable Model Semantics with More Expressive Rules , 1999, LPNMR.

[12]  P. Ghazal,et al.  Logic models of pathway biology. , 2008, Drug discovery today.

[13]  Paul T. Spellman,et al.  Context Specificity in Causal Signaling Networks Revealed by Phosphoprotein Profiling , 2017, Cell systems.

[14]  Torsten Schaub,et al.  Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming , 2016, Biosyst..

[15]  Barry O'Sullivan,et al.  Finding Diverse and Similar Solutions in Constraint Programming , 2005, AAAI.

[16]  Alexander Nadel,et al.  Generating Diverse Solutions in SAT , 2011, SAT.

[17]  E. Dougherty,et al.  Gene perturbation and intervention in probabilistic Boolean networks. , 2002, Bioinformatics.

[18]  Reka Albert,et al.  Boolean models of within-host immune interactions. , 2010, Current opinion in microbiology.

[19]  Franck Delaplace,et al.  Abduction Based Drug Target Discovery Using Boolean Control Network , 2017, CMSB.

[20]  Torsten Schaub,et al.  Implementing Preferences with asprin , 2015, LPNMR.

[21]  Beatriz Peñalver Bernabé,et al.  State–time spectrum of signal transduction logic models , 2012, Physical biology.

[22]  Denis Thieffry,et al.  Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement , 2010, PLoS Comput. Biol..

[23]  Roded Sharan,et al.  Reconstructing Boolean Models of Signaling , 2012, RECOMB.

[24]  Torsten Schaub,et al.  Computing Diverse Optimal Stable Models , 2016, ICLP.

[25]  Rebecca W Doerge,et al.  An Empirical Bayesian Method for Estimating Biological Networks from Temporal Microarray Data , 2010, Statistical applications in genetics and molecular biology.

[26]  Thomas Eiter,et al.  Finding Similar or Diverse Solutions in Answer Set Programming , 2009, ICLP.

[27]  Evan O. Paull,et al.  Prophetic Granger Causality to infer gene regulatory networks , 2017, PloS one.

[28]  Julio Saez-Rodriguez,et al.  Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming , 2013, Bioinform..