The logic of mitochondria
MitopatHs is a database that allows to navigate among the biochemical pathways (PatHs) of human (H) mitochondria (Mito).
The tool core is Zsyntax, a logical system that precisely and rigorously represents biochemical processes of any lenght as deductive processes. In this formal representation, biochemical transitions from an initial molecular aggregate to a final molecular aggregate are considered as logical theorems leading form an initial premise to a conclusion.
On that basis, mitochondrial pathways collected in MitopatHs are presented in two ways:
1) as a "biological theorem", whose proof can be scrutinized by observing the list of biological steps involved in the pathway, orgnaized and encoded as logical deductions;
2) as a (dynamically growing) graph, that allows to intuitively visualize the process of building final molecular compounds from initial molecular aggregates. There are two kind of visualizations:
In addition, given a mitochondrial pathway, MithopatHs provides information on the existing deregulated variants and on the proteins (and the genes) involved by a link to their corresponding entry on the Gene Ontology database.
See The Uniporter Example for a detailed explanation of mitopatHs, or read the API documentation to discover how to automatically download data.
Learn more through an example See documentation for API system
MitopatHs emphasizes an operational view of Zsyntax for the working biologist, while a detailed formal account of the logical system can be found in: