학술논문
Computing ABox Justifications for Query Answers via Datalog Rewriting
Document Type
Conference Paper
Author
Source
In: CEUR Workshop Proceedings , DL 2023 - Proceedings of the 36th International Workshop on Description Logics, 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. (CEUR Workshop Proceedings, 2023, 3515)
Subject
Language
English
ISSN
16130073