The incremental and cooperative building of large knowledge bases is another line of research in the project. More precisely, the problem is the formal comparison, and merge, of contributions from several knowledge sources into a single consensual knowledge base. Molecular biology is the main domain of experimentation of these research activities. In this context, descriptive knowledge concerns the entities such as genes, regulation signals or operons. Behavioral knowledge models the dynamics of the expression regulation mechanisms.
Methodological knowledge is attached to the various sequence analysis methods.
Terminological knowledge allows to link the knowledge which is formalized in the base to the scientific litterature which supported the modeling process.