1 citations · 1 across the 3 of their papers we have counts for
3 papers
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study
Marco Calautti, Mostafa Milani, Andreas Pieris
The chase procedure is a fundamental algorithmic tool in databases that allows us to reason with constraints, such as existential rules, with a plethora of applications. It takes a…
The Complexity of Why-Provenance for Datalog Queries
Marco Calautti, Ester Livshits, Andreas Pieris +1
Explaining why a database query result is obtained is an essential task towards the goal of Explainable AI, especially nowadays where expressive database query languages such as Da…
Query Rewriting and Optimization for Ontological Databases
Georg Gottlob, Giorgio Orsi, Andreas Pieris
Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new…