UniKER: A Unified Framework for Combining Embedding and Horn Rules for Knowledge Graph Inference