Neuro-Symbolic Entity Alignment via Variational Inference