28 citations · 31 across the 5 of their papers we have counts for
4 papers · 1 filter
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects
Giovanni Amendola, Marco Manna, Aldo Ricioppo
Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the…
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Nicola Leone, Marco Manna, Maria Concetta Morelli +1
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for An…
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Mario Alviano, Wolfgang Faber, Nicola Leone +1
Datalog is one of the best-known rule-based languages, and extensions of it are used in a wide context of applications. An important Datalog extension is Disjunctive Datalog, which…
Magic Sets for Disjunctive Datalog Programs
Mario Alviano, Wolfgang Faber, Gianluigi Greco +1
In this paper, a new technique for the optimization of (partially) bound queries over disjunctive Datalog programs with stratified negation is presented. The technique exploits the…