A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom

1. Olga Gerasimova(National Research University Higher School of Economics, Moscow, Russia)
2. Stanislav Kikot(School of Computing and Digital Media, London Metropolitan University, U.K.)
3. Agi Kurucz(Department of Informatics, King’s College London, U.K.)
4. Vladimir Podolskii(Steklov Mathematical Institute, Moscow, Russia, National Research University Higher School of Economics, Moscow, Russia)
5. Michael Zakharyaschev(Department of Computer Science, Birkbeck, University of London, U.K.)

@inproceedings{KR2020-41,
    title     = {{A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom}},
    author    = {Gerasimova, Olga and Kikot, Stanislav and Kurucz, Agi and Podolskii, Vladimir and Zakharyaschev, Michael},
    booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {403--413},
    year      = {2020},
    month     = {9},
    doi       = {10.24963/kr.2020/41},
    url       = {https://doi.org/10.24963/kr.2020/41},
  }