Gravar-mail: Exact score distribution computation for ontological similarity searches