University of Birmingham Large-scale reasoning over functions in biomedical ontologies