Someone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite${}_{core}$ knowledge bases

Abstract

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.