Scalable knowledge graph construction and inference on human genome variants