TY  - RPRT
TI  - A tetrachotomy of ontology-mediated queries with a covering axiom
AU  - Olga Gerasimova
AU  - Stanislav Kikot
AU  - Agi Kurucz
AU  - Vladimir Podolskii
AU  - Michael Zakharyaschev
PY  - 2022
UR  - https://arxiv.org/abs/2006.04167
ID  - 2006.04167
ER  -