Gravar-mail: Strengths and limitations of formal ontologies in the biomedical domain