Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs

no code implementations • 1 Oct 2022 • Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger, Evgeny Sherkhonov

Vadalog is a Knowledge Representation and Reasoning (KRR) language based on Warded Datalog+/-, a logical core language of existential rules, with a good balance between computational complexity and expressive power.

Knowledge Graphs Management +1

Data Science with Vadalog: Bridging Machine Learning and Reasoning

no code implementations • 23 Jul 2018 • Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stephane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu

Following the recent successful examples of large technology companies, many modern enterprises seek to build knowledge graphs to provide a unified view of corporate knowledge and to draw deep insights using machine learning and logical reasoning.

BIG-bench Machine Learning Knowledge Graphs +2