Neurosymbolic AI for Reasoning Over Knowledge Graphs: A Survey | Synapse