Andrea Calì wins Test-of-Time Award
Posted: Monday, 11 February 2019 09:00
Andrea Calì, Georg Gottlob and Thomas Lukasiewicz win 2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award
The ACM PODS Alberto O. Mendelzon Test-of-Time Award is awarded every year to a paper or a small number of papers published in the PODS proceedings ten years prior that had the most impact in terms of research, methodology, or transfer to practice over the intervening decade. The award was established in 2007 and was awarded for the first time in 2008.
Winner 2019: General Datalog-Based Framework for Tractable Query Answering over Ontologies by Andrea Calì, Georg Gottlob and Thomas Lukasiewicz
This paper introduces and studies the Datalog+- framework for query answering over ontologies, which subsequently became highly influential in both the database and knowledge representation communities. Its main contribution is an in-depth study of the data complexity of Datalog+-, and several extensions and restrictions tailored to ontologies. The paper identifies a tractable family of Datalog+- formalisms based on linear tuple-generating dependencies, that generalize description logics of the DL-Lite family. Extensions with keys and stratified negation are also studied. Other technical results of the paper concerning the chase have been fundamental to further developments in the field. The paper received over 450 citations, evidencing its significant impact.
The award will be presented to the authors during the 2019 ACM SIGMOD/PODS Conference, to be held in Amsterdam, The Netherlands, on June 30 - July 5, 2019.