Biomedical Knowledge Graph Refinement with Embedding and Logic Rules