End-to-end Differentiable Proving
Factorizing YAGO: scalable machine learning for linked data