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

Download PDF
Open Webpage

David Carral, Lucas Larroque, Michaël Thomazo

Published: 01 Jan 2024, Last Modified: 24 Apr 2025KR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Ontology-based query answering is a problem that takes as input a set of facts F, an ontology R (typically expressed by existential rules), a Boolean query q , and asks whether R and F entails q. T...