Skip to main content Accessibility help

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.



Hide All
Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
Ben-Eliyahu, R. and Dechter, R. 1994. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence 12, 1–2, 5387.
BioASP Tools. 2008. Accessed 7 January 2011, URL:
Chen, M., Hancock, L. and Lopes, J. 2007. Transcriptional regulation of yeast phospholipid biosynthetic genes. Biochimica et Biophysica Acta 1771, 3, 310321.
Dershowitz, N., Hanna, Z. and Nadel, A. 2006. A scalable algorithm for minimal unsatisfiable core extraction. In Proc. of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT'06), Biere, A. and Gomes, C., Eds. Springer, 3641.
Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M. and Schaub, T. 2008. Conflict-driven disjunctive answer set solving. In Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Brewka, G. and Lang, J., Eds. AAAI Press, 422432.
Eiter, T. and Gottlob, G. 1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3–4, 289323.
Erdős, A. and Rényi, P. 1959. On random graphs. Publicationes Mathematicae 6, 290297.
Friedman, N., Linial, M., Nachman, I. and Pe'er, D. 2000. Using Bayesian networks to analyze expression data. Journal of Computational Biology 7, 3–4, 601620.
Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S. and Veber, P. 2010. Repair and prediction (under inconsistency) in large biological networks with answer set programming. In Proc. of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10).
Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T. and Thiele, S. 2009a. On the input language of ASP grounder gringo. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Erdem, E., Lin, F. and Schaub, T., Eds. Springer, 502508.
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007. Conflict-driven answer set enumeration. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Baral, C., Brewka, G. and Schlipf, J., Eds. Springer, 136148.
Gebser, M., Kaufmann, B. and Schaub, T. 2009b. Solution enumeration for projected Boolean search problems. In Proc. of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), van Hoeve, W. and Hooker, J., Eds. Springer, 7186.
Gebser, M., Kaufmann, B. and Schaub, T. 2009c. The conflict-driven answer set solver clasp: Progress report. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Erdem, E., Lin, F. and Schaub, T., Eds. Springer, 509514.
Gelfond, M. 2008. Answer sets. In Handbook of Knowledge Representation, Lifschitz, V., van Hermelen, F. and Porter, B., Eds. Elsevier, 285316.
Gelfond, M., Lifschitz, V., Przymusinska, H. and Truszczyński, M. 1991. Disjunctive defaults. In Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Allen, J., Fikes, R. and Sandewall, E., Eds. Morgan Kaufmann, 230237.
Giunchiglia, E., Lierler, Y. and Maratea, M. 2006. Answer set programming based on propositional satisfiability. Journal of Automated Reasoning 36, 4, 345377.
Guelzim, N., Bottani, S., Bourgine, P. and Képès, F. 2002. Topological and causal structure of the yeast transcriptional regulatory network. Nature Genetics 31, 6063.
Gutierrez-Rios, R., Rosenblueth, D., Loza, J., Huerta, A., Glasner, J., Blattner, F. and Collado-Vides, J. 2003. Regulatory network of Escherichia coli: Consistency between literature knowledge and microarray profiles. Genome Research 13, 11, 24352443.
Guziolowski, C., Bourde, A., Moreews, F. and Siegel, A. 2009. Bioquali cytoscape plugin: Analysing the global consistency of regulatory networks. BMC Genomics 10.
Guziolowski, C., Veber, P., LeBorgne, M. Borgne, M., Radulescu, O. and Siegel, A. 2007. Checking consistency between expression data and large scale regulatory networks: A case study. Journal of Biological Physics and Chemistry 7, 2, 3743.
Janhunen, T., Niemelä, I., Seipel, D., Simons, P. and You, J. 2006. Unfolding partiality and disjunctions in stable model semantics. ACM Transactions on Computational Logic 7, 1, 137.
Jeong, H., Tombor, B., Albert, R., Oltvai, Z. and Barabási, A. 2000. The large-scale organization of metabolic networks. Nature 407, 651654.
Klamt, S. and Stelling, J. 2006. Stoichiometric and constraint-based modelling. In System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, Szallasi, Z., Stelling, J. and Periwal, V., Eds. MIT Press, 7396.
Kuipers, B. 1994. Qualitative reasoning. Modeling and simulation with incomplete knowledge. MIT Press.
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7, 3, 499562.
Mallory, M., Cooper, K. and Strich, R. 2007. Meiosis-specific destruction of the Ume6p repressor by the Cdc20-directed APC/C. Molecular Cell 27, 6, 951961.
Papadimitriou, C. and Yannakakis, M. 1982. The complexity of facets (and some facets of complexity). In Proc. of the 14th Annual ACM Symposium on Theory of Computing (STOC'82). ACM Press, 255260.
Remy, É., Ruet, P. and Thieffry, D. 2008. Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Advances in Applied Mathematics 41, 3, 335350.
Richard, A., Comet, J. and Bernot, G. 2004. R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics. Fundamenta Informaticae 65, 4, 373392.
Siegel, A., Radulescu, O., Le Borgne, M., Veber, P., Ouy, J. and Lagarrigue, S. 2006. Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. Biosystems 84, 2, 153174.
Soulé, C. 2003. Graphic requirements for multistationarity. Complexus 1, 3, 123133.
Soulé, C. 2006. Mathematical approaches to differentiation and gene regulation. Comptes Rendus Biologies 329, 1320.
Sudarsanam, P., Iyer, V., Brown, P. and Winston, F. 2000. Whole-genome expression analysis of snf/swi mutants of Saccharomyces cerevisiae. Proceedings of the National Academy of Sciences of the United States of America 97, 7, 33643369.
Syrjänen, T.Lparse 1.0 user's manual, Accessed 7 January 2011. URL:
Veber, P., Le Borgne, M., Siegel, A., Lagarrigue, S. and Radulescu, O. 2004. Complex qualitative models in biology: A new approach. Complexus 2, 3–4, 140151.
Washburn, B. and Esposito, R. 2006. 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. Molecular and Cellular Biology 21, 6, 20572069.



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed