LOJul 6
Someone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite$_{core}$ knowledge bases
arXiv:2607.053368.4
Predicted impact top 22% in LO · last 90 daysOriginality Highly original
AI Analysis
This result resolves a fundamental theoretical question for the description logic community, showing a sharp boundary in decidability.
The paper proves that query answering for conjunctive queries with safe negation over DL-Lite_{core} knowledge bases is undecidable, solving a long-standing open problem.
We solve a long standing open problem, showing that the query answering for conjunctive queries with safe negation, over DL-Lite$_{core}$ knowledge bases, is undecidable.