3 papers
cs.DB2020
When is Ontology-Mediated Querying Efficient?
Pablo Barcelo, Cristina Feier, Carsten Lutz +1
In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However…
cs.DB2019
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs
Pablo Barcelo, Victor Dalmau, Cristina Feier +2
Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-med…
cs.DB2019
All-Instances Restricted Chase Termination
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination:…