Neural-Symbolic Methods for Knowledge Graph Reasoning: A Survey | Synapse