8 citations · 10 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger +1
We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs (KGs), satisfying the requirements of ontological reasoning: full recursion, powerful existenti…
cs.LO2022
On the Relationship between Shy and Warded Datalog+/-
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders i…