Gravar-mail: Phenotype ontologies for mouse and man: bridging the semantic gap