Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

Yoshitaka Yamamoto 1 Adrien Rougny 2, 3 Hidetomo Nabeshima 4 Katsumi Inoue 5 Hisao Moriya 6 Christine Froidevaux 2, 3 Koji Iwanuma 4
2 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
5 Inoue Laobratory
NII - National Institute of Informatics
Abstract : This study considers formal methods for finding unknown interactions of incomplete molecular networks using microarray profiles. In systems biology, a challenging problem lies in the growing scale and complexity of molecular networks. Along with high-throughput experimental tools, it is not straightforward to reconstruct huge and complicated networks using observed data by hand. Thus, we address the completion problem of our target networks represented by a standard markup language, called SBGN (in particular, Activity Flow). Our proposed method is based on logic-based hypothesis finding techniques; given an input SBGN network and its profile data, missing interactions can be logically generated as hypotheses by the proposed method. In this paper, we also show empirical results that demonstrate how the proposed method works with a real network involved in the glucose repression of S. cerevisiae.
Type de document :
Communication dans un congrès
Formal Methods In Macro-Biology, Sep 2014, Nouméa, New Caledonia. Springer, Lecture Notes in Computer Science, 8738, pp.165-179, Formal Methods in Macro-Biology. 〈10.1007/978-3-319-10398-3_14〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01110133
Contributeur : Adrien Rougny <>
Soumis le : mardi 27 janvier 2015 - 15:42:58
Dernière modification le : mercredi 23 janvier 2019 - 10:29:27

Identifiants

Collections

Citation

Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, et al.. Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. Formal Methods In Macro-Biology, Sep 2014, Nouméa, New Caledonia. Springer, Lecture Notes in Computer Science, 8738, pp.165-179, Formal Methods in Macro-Biology. 〈10.1007/978-3-319-10398-3_14〉. 〈hal-01110133〉

Partager

Métriques

Consultations de la notice

221