The BioASP Library: ASP Solutions for Systems Biology

Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological models available over web repositories. This poses new challenges for bioinformatics to invent methods coping with incompleteness, heterogeneity, and mutual inconsistency of data and models. To this end, we built the library BioASP, providing a framework for analyzing biological data and models with Answer Set Programming (ASP). Due to the expressive modeling language, the inherent tolerance of incomplete knowledge, and efficient solving engines, ASP has proven to be an excellent tool for solving a variety of biological questions. The BioASP library implements methods for analyzing metabolic and gene regulatory networks, consistency checking, diagnosing, and repairing biological data and models. In particular, it allows for computing predictions and generating hypotheses about required expansions of biological...

• Type: Journal
• Year: 2010
• Where: ICTAI
• Authors: Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber
• Keywords: Artificial Intelligence, BioASP Library, Biological, Biological Models, ICTAI 2010