25 citations · 39 across the 16 of their papers we have counts for
3 papers · 1 filter
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…
Complexity of Arithmetic in Warded Datalog+-
Lucas Berent, Markus Nissl, Emanuel Sallinger
Warded Datalog+- extends the logic-based language Datalog with existential quantifiers in rule heads. Existential rules are needed for advanced reasoning tasks, e.g., ontological r…
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…