Homology and function prediction