Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Someone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite knowledge bases
Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
We solve a long standing open problem, showing that the query answering for conjunctive queries with safe negation, over DL-Lite knowledge bases, is undecidable.
cs.LO2025
On the entailment problem for DL-Lite ontologies and conjunctive queries with negation
Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
We show that the entailment problem, for a given entailment problem for DL-Lite ontology, and given conjunctive query with inequalities, is undecidable. We also show that…