BioASP
Answer Set Programming for Systems Biology
Answer Set Programming for Systems Biology
Overview | Applications | Answer Set Programming | Who we are
The BioASP software collection includes the following applications. For more details on each application, please visit the corresponding Application page. BioASP applications are freely available as python packages under General Public License (GPL) and they can be easily installed on your system. However you may want to try their Web service before doing so (example input data is provided in-place).
This application can be used to check if a draft metabolic network provides the synthesis routes to comply with certain functionality. If this fails, meneco can automatically complete the network using reactions from a reference network stemming from other organisms until the observed functionality is provided.
Application page | Web service | Citation
Given a metabolic reaction network and a set of target metabolites, this application computes the subset minimal sets of precursor metabolites needed to produce the targets.
Application page | Web service
The aim of this application is to implement a pipeline for automated reasoning on logical signaling networks. Features provided by caspo include, learning of logical networks from experiments, design new experiments in order to reduce the uncertainty, and finding intervention strategies to control the biological system.
Application page | Web service | Citation
Modern methods for the inference of cellular networks from experimental data often express nondeterminism by proposing an ensemble of candidate models with similar properties. To further discriminate among these model candidates, and to find the biological truth, new experiments need to be carried out. Building upon a notion of consistency between biochemical/genetic regulations and measurements profiles of cell activity, ExDesi determines those experiments that discriminate most of the candidates while minimizing the costs. ExDesi implements experiment planning with interaction graph models and sign consistency methods to determine experiments which are most suitable to deliver results that allow for a refinement of the model.
This application is a further development of ingranalyze it supports the incorporation of uncertain data and discovers inconsistencies in data or network, applies minimal repairs and predicts the behavior of unmeasured species. In particular, it distinguishes strong predictions (e.g. increase of a node level) and weak predictions (e.g., node level increases or remains unchanged) enlarging the overall predictive power of the approach. Also included is a the tool opt_graph which computes networks which have an optimal fitness regarding the data of not only a single experiment but a set of experiments.
This application confronts biological networks given as interaction graphs with experimental data given as signs that represent the concentration changes between two measurements. It allows to decover inconsistencies in data or network, proposes minimal repairs and predicts the behavior of unmeasured species.
Application page | Web service | Citation
CytoASP is a Cytoscape plugin that enables consistency checking, prediction and repair of network models while providing customizable visualizations in Cytoscape. Citation | Sources
This application combines gene sequence information and metabolic reaction network into one model. Together with data about metabolites involved in a chemical pathway, the Shortest Gene Segments (SGS) are proposed which activate the metabolic reactions of such a pathway.
Application page | Web service | Citation