Using automated reasoning to explore the metabolism of unconventional organisms: a first step to explore host-microbial interactions.

We describe its usage to over-approximate metabolic responses of biological systems and solve gap-filling problems. In this review, we compare steady-states and Boolean abstractions of metabolic models and illustrate their complementarity via applications to the metabolic analysis of macro-algae. Ongoing applications of this formalism explore the emerging field of systems ecology, notably elucidating interactions between a consortium of microbes and a host organism. As the first step in this field, we will illustrate how the reduction in microbiotas according to expected metabolic phenotypes can be addressed with gap-filling problems. PMID: 32379295 [PubMed - as supplied by publisher]
Source: Biochemical Society Transactions - Category: Biochemistry Authors: Tags: Biochem Soc Trans Source Type: research