Fig. 1: General principle of the conducted inference of ensembles of Boolean networks.

By offering a generic modeling language, BoNesis enables integrating prior knowledge on regulation mechanisms with different types of experimental data, after qualitative interpretation, which may depend on biological hypotheses and experimental systems. These inputs specify what an admissible model is. Then, employing logic programming, BoNesis can generate ensembles of Boolean networks that fulfill the structural and dynamical properties and, by combining with combinatorial optimization technologies, enables the prediction of important genes and derive predictions for attractor reprogramming.