Fig. 5

Inputs/outputs aggregation for the formation of 30S–mRNA complex. a Formal description of formation of the 30S–mRNA complex and manual has_input and has_output properties of elementary processes. b Inferred has_input, has_output and consumes properties that were designed using SWRL rules after HermiT automatic reasoning