KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by
  1. Pierre Marquis,
  2. Magdalena Ortiz
  3. Maurice Pagnucco

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable

  1. David Carral(LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France)
  2. Lucas Larroque(Inria, DI ENS, ENS, CNRS, PSL University, Paris, France)
  3. Michaël Thomazo(Inria, DI ENS, ENS, CNRS, PSL University, Paris, France)

Bibtex record

@inproceedings{KR2024-22,
    title     = {{Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable}},
    author    = {Carral, David and Larroque, Lucas and Thomazo, Michaël},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {232--242},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/22},
    url       = {https://doi.org/10.24963/kr.2024/22},
  }
Go back