To help MicroScope users in genome annotation, we are developing the Grools software. Grools uses a graph representation of biological knowledge to make reasoning over metabolic pathways. A first version of the software was presented at the RuleML conference.
Reasoning over metabolic pathways