Gravar-mail: Using ontologies to describe mouse phenotypes