KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

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.)

Bibtex record

@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},
  }