Scifaro

中文

DL-Lite$_{core}$ 本体与带否定的 conjunctive 查询的蕴含问题

计算机科学中的逻辑 2025-11-04 v2

作者: Jerzy Marcinkowski , Piotr Ostropolski-Nalewaja

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明，对于给定的 DL-Lite $_{core}$ 本体及给定的带不等式的 conjunctive 查询，蕴含问题是不可判定的。我们还表明，若改为考虑带安全否定的 conjunctive 查询，该问题仍然是不可判定的。

关键词

DL-Lite$_{core}$ 蕴含问题 conjunctive 查询否定不可判定性

引用

@article{arxiv.2510.23490,
  title  = {On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation},
  author = {Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja},
  journal= {arXiv preprint arXiv:2510.23490},
  year   = {2025}
}

备注

Draft, no introduction and preliminaries; small fixes + better example