A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
How to Approximate Ontology-Mediated Queries
2021
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
unpublished
We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable ontology language such as ELI or certain TGDs and (2) replace the database with one from a tractable class such as the class of databases whose treewidth is bounded by a constant. We determine the computational complexity and the relative completeness of the
doi:10.24963/kr.2021/31
fatcat:7kjquzcj4bewpo2mdvktk6j4ku