有人睡了我的床！关于DL-Lite$_{core}$知识库上带安全否定的合取查询的蕴含问题
计算机科学中的逻辑
2026-07-06 v1
摘要
我们解决了一个长期存在的开放问题，证明了在DL-Lite知识库上，带安全否定的合取查询的查询回答是不可判定的。
引用
@article{arxiv.2607.05336,
title = {Someone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite$_{core}$ knowledge bases},
author = {Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja},
journal= {arXiv preprint arXiv:2607.05336},
year = {2026}
}