activity
19982023
most citedThe DLV System for Knowledge Representation and Reasoning

1.2k citations · 2.2k across the 40 of their papers we have counts for

collaborators

44 papers

cs.CC2023

Dyadic Existential Rules

Georg Gottlob, Marco Manna, Cinzia Marte

Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reas…

cs.DB2023

SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]

Renzo Angles, Georg Gottlob, Aleksandar Pavlovic +2

Over the past decade, Knowledge Graphs have received enormous interest both from industry and from academia. Research in this area has been driven, above all, by the Database (DB)…

cs.DB2023★ 3 cited

Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo +3

Join queries involving many relations pose a severe challenge to today's query optimisation techniques. To some extent, this is due to the fact that these techniques do not pay suf…

cs.AI2022

Incremental Updates of Generalized Hypertree Decompositions

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo +1

Structural decomposition methods, such as generalized hypertree decompositions, have been successfully used for solving constraint satisfaction problems (CSPs). As decompositions c…

cs.DB2022

Non-Uniformly Terminating Chase: Size and Complexity

Marco Calautti, Georg Gottlob, Andreas Pieris

The chase procedure, originally introduced for checking implication of database constraints, and later on used for computing data exchange solutions, has recently become a central…

cs.LO2022

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like Machine-Learning systems, are not strictly binary but associated wi…