44 citations · 44 across the 1 of their papers we have counts for
2 papers
cs.AI2020★ 44 cited
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Meghyn Bienvenu, Peter Hansen, Carsten Lutz +1
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment prob…
cs.AI2018
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
Peter Hansen, Carsten Lutz
A prominent approach to implementing ontology-mediated queries (OMQs) is to rewrite into a first-order query, which is then executed using a conventional SQL database system. We co…