circumscribed描述逻辑知识库的查询
交换代数
2023-06-08 v1
摘要
限定(circumscription)是定义非单调描述逻辑(DLs)的主要方法之一。虽然被限定DL知识库(KBs)的可满足性等传统推理任务的可判定性与复杂性已得到充分理解，但对于合取查询(CQs)及其并集(UCQs)的评估，甚至连可判定性都尚未确立。在本文中，我们证明了在受限DL知识库上(U)CQ评估的可判定性，并对从ALCHIO经EL到DL-Lite各版本的DLs，获得了组合复杂性与数据复杂性相当完整的图景。我们也研究了简单得多的原子查询(AQs)。
引用
@article{arxiv.2306.04547,
title = {Power-closed ideals of polynomial and Laurent polynomial rings},
author = {Geir Agnarsson and Jim Lawrence},
journal= {arXiv preprint arXiv:2306.04547},
year = {2023}
}
备注
36 pages, comments and related references are welcomed