Detecting inconsistencies in large biological networks with answer set programming
- 27 January 2011
- journal article
- research article
- Published by Cambridge University Press (CUP) in Theory and Practice of Logic Programming
- Vol. 11 (2-3) , 323-360
Abstract
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.Keywords
All Related Versions
This publication has 28 references indexed in Scilit:
- BioQuali Cytoscape plugin: analysing the global consistency of regulatory networksBMC Genomics, 2009
- Graphic requirements for multistability and attractive cycles in a Boolean dynamical frameworkAdvances in Applied Mathematics, 2008
- Meiosis-Specific Destruction of the Ume6p Repressor by the Cdc20-Directed APC/CMolecular Cell, 2007
- Checking consistency between expression data and large scale regulatory networks: a case studyJournal of Biological Physics and Chemistry, 2007
- Transcriptional regulation of yeast phospholipid biosynthetic genesBiochimica et Biophysica Acta (BBA) - Molecular and Cell Biology of Lipids, 2007
- The DLV system for knowledge representation and reasoningACM Transactions on Computational Logic, 2006
- Unfolding partiality and disjunctions in stable model semanticsACM Transactions on Computational Logic, 2006
- Complex Qualitative Models in Biology: A New ApproachComplexus, 2004
- 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 YeastMolecular and Cellular Biology, 2001
- Using Bayesian Networks to Analyze Expression DataJournal of Computational Biology, 2000