research
∙
06/30/2020
On Finite Entailment of Non-Local Queries in Description Logics
We study the problem of finite entailment of ontology-mediated queries. ...
share
research
∙
03/30/2019
Ontology Focusing: Knowledge-enriched Databases on Demand
We propose a novel framework to facilitate the on-demand design of data-...
research
∙
01/12/2019
All-Instances Restricted Chase Termination: The Guarded Case
The chase procedure is a fundamental algorithmic tool in database theory...
research
∙
08/09/2018