Detecting inconsistencies in large biological networks with answer set programming

We introduce an approach to detecting inconsistencies in large biological networks by using answer set programming. To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reactions and high-throughput profiles of cell activity. We then present an approach based on answer set programming to check the consistency of large-scale data sets. Moreover, we extend this methodology to provide explanations for inconsistencies by determining minimal representations of conflicts. In practice, this can be used to identify unreliable data or to indicate missing reactions.

[1]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[2]  M. J. Mallory,et al.  Meiosis-specific destruction of the Ume6p repressor by the Cdc20-directed APC/C. , 2007, Molecular cell.

[3]  Martin Gebser,et al.  Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming , 2010, KR.

[4]  Martin Gebser,et al.  The Conflict-Driven Answer Set Solver clasp: Progress Report , 2009, LPNMR.

[5]  Vipul Periwal,et al.  System Modeling in Cellular Biology: From Concepts to Nuts and Bolts , 2006 .

[6]  Martin Gebser,et al.  Solution Enumeration for Projected Boolean Search Problems , 2009, CPAIOR.

[7]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[8]  David G. Mitchell,et al.  A SAT Solver Primer , 2005, Bull. EATCS.

[9]  Martin Gebser,et al.  Conflict-Driven Answer Set Enumeration , 2007, LPNMR.

[10]  R. Albert,et al.  The large-scale organization of metabolic networks , 2000, Nature.

[11]  Identification of the Sin3-Binding Site in Ume6 Defines a Two-Step Process for Conversion of Ume6 from a Transcriptional Repressor to an Activator in Yeast , 2001, Molecular and Cellular Biology.

[12]  Michael Gelfond,et al.  Answer Sets , 2008, Handbook of Knowledge Representation.

[13]  Alan M. Frieze,et al.  Random graphs , 2006, SODA '06.

[14]  Michal Linial,et al.  Using Bayesian Networks to Analyze Expression Data , 2000, J. Comput. Biol..

[15]  F. Moreews,et al.  BioQuali Cytoscape plugin: analysing the global consistency of regulatory networks , 2009, BMC Genomics.

[16]  Nicolas Beldiceanu,et al.  9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12) , 2012 .

[17]  P. Brown,et al.  Whole-genome expression analysis of snf/swi mutants of Saccharomyces cerevisiae. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[18]  Yuliya Lierler,et al.  Answer Set Programming Based on Propositional Satisfiability , 2006, Journal of Automated Reasoning.

[19]  Martin Gebser,et al.  GrinGo : A New Grounder for Answer Set Programming , 2007, LPNMR.

[20]  Mihalis Yannakakis,et al.  The complexity of facets (and some facets of complexity) , 1982, STOC '82.

[21]  Martin Gebser,et al.  On the Input Language of ASP Grounder Gringo , 2009, LPNMR.

[22]  Adrien Richard,et al.  R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics , 2005, Fundam. Informaticae.

[23]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[24]  Araceli M. Huerta,et al.  Regulatory network of Escherichia coli: consistency between literature knowledge and microarray profiles. , 2003, Genome research.

[25]  Denis Thieffry,et al.  Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework , 2008, Adv. Appl. Math..

[26]  Peter Struss,et al.  Qualitative Reasoning , 1997, The Computer Science and Engineering Handbook.

[27]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[28]  Anthony G. Cohn,et al.  Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.

[29]  Jia-Huai You,et al.  Unfolding partiality and disjunctions in stable model semantics , 2000, TOCL.

[30]  C. Soulé.  Graphic Requirements for Multistationarity , 2004, Complexus.

[31]  Georg Gottlob,et al.  On the computational cost of disjunctive logic programming: Propositional case , 1995, Annals of Mathematics and Artificial Intelligence.

[32]  Adrien Richard,et al.  Necessary conditions for multistationarity in discrete dynamical systems , 2007, Discret. Appl. Math..

[33]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[34]  B. Palsson,et al.  The model organism as a system: integrating 'omics' data sets , 2006, Nature Reviews Molecular Cell Biology.

[35]  M. Gelfond,et al.  Disjunctive Defaults , 1991 .

[36]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[37]  Christophe Soulé,et al.  Mathematical approaches to differentiation and gene regulation. , 2005, Comptes rendus biologies.

[38]  Carito Guziolowski,et al.  Checking Consistency Between Expression Data and Large Scale Regulatory Networks: A Case Study , 2007 .

[39]  Yuliya Lierler,et al.  cmodels - SAT-Based Disjunctive Answer Set Solver , 2005, LPNMR.

[40]  Rina Dechter,et al.  Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.

[41]  Nachum Dershowitz,et al.  A Scalable Algorithm for Minimal Unsatisfiable Core Extraction , 2006, SAT.

[42]  Martin Gebser,et al.  Conflict-Driven Disjunctive Answer Set Solving , 2008, KR.

[43]  P. Bourgine,et al.  Topological and causal structure of the yeast transcriptional regulatory network , 2002, Nature Genetics.

[44]  Meng Chen,et al.  Transcriptional regulation of yeast phospholipid biosynthetic genes. , 2007, Biochimica et biophysica acta.

[45]  P. Veber,et al.  Complex Qualitative Models in Biology: A New Approach , 2004, Complexus.

[46]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[47]  Vipul Periwal,et al.  Stoichiometric and Constraint-based Modeling , 2006 .

[48]  A Siegel,et al.  Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. , 2006, Bio Systems.

[49]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[50]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..