A neuro-symbolic system over knowledge graphs for link prediction