We study the problem of finite entailment of ontology-mediated queries. ...
We propose a novel framework to facilitate the on-demand design of
data-...
The chase procedure is a fundamental algorithmic tool in database theory...
We study the problem of finite ontology mediated query answering (FOMQA)...