Computing ABox Justifications for Query Answers via Datalog Rewriting

Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova. Computing ABox Justifications for Query Answers via Datalog Rewriting. In Oliver Kutz, Carsten Lutz, Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

@inproceedings{BorgwardtBK23,
  title = {Computing ABox Justifications for Query Answers via Datalog Rewriting},
  author = {Stefan Borgwardt and Steffen Breuer and Alisa Kovtunova},
  year = {2023},
  url = {https://ceur-ws.org/Vol-3515/paper-8.pdf},
  researchr = {https://researchr.org/publication/BorgwardtBK23},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023},
  editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki},
  volume = {3515},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}