Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
SBGNlog: a logical framework based on SBGN to reason on molecular networks
Adrien Rougny

30 November 2017, 14:30
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche :

Résumé :
The Systems Biology Graphical Notation (SBGN) is a standard that allows representing molecular networks in an unambiguous way.
SBGN maps can be stored and exchanged using the SBGN-ML format, and programmatically manipulated using the libSBGN library.
This latter was designed in order to ease the support (writing, reading, editing and validating) of SBGN maps in systems biology tools, and may not be perfectly suited to implement reasoning tasks on the biological knowledge the maps represent.
We will present a new framework, called SBGNlog, that facilitates the implementation of such tasks. SBGNlog is based on two first-order logic languages, namely SBGNlog PD and SBGNlog AF, that are the twins in logic of the PD and AF languages of SBGN. These two languages allow representing reaction networks (PD) and influence graphs (AF) into first-order logic, thus enabling the use of automated reasoning to solve a wide variety of reasoning tasks on those networks. Additionally, SBGNlog offers a user-friendly Python API interfacing the logic programming software clingo, that permits to easily implement those reasoning tasks, in a modular way.


Dans le cadre du groupe PSay CompBio, ouvert à tous.

Pour en savoir plus :
Séminaires
A Family of Tractable Graph Distances
Web data management
Wednesday 04 July 2018 - 10:30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatorics
Friday 29 June 2018 - 14:30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Stochastic Combinatorial Optimization
Friday 29 June 2018 - 11:00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14:30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Integration of Data and Knowledge
Friday 15 June 2018 - 14:00
Salle : 445 - PCRI-N
Valentina Beretta .............................................