Gravar-mail: An ontology-based search engine for protein-protein interactions