从带闭谓词的表达型描述逻辑到Datalog变体的多项式重写
人工智能
2019-12-17 v1 计算机科学中的逻辑
摘要
在许多场景中，完全信息与不完全信息共存。因此，知识表示与数据库领域长期以来对在关于逻辑理论的推理中同时支持闭世界与开世界视图感兴趣。此处我们考虑使用逻辑理论查询可能不完全的数据的设置，形式化为本体中介查询（OMQ）的求值，该查询将一条查询与一个表达背景知识的理论（有时称为本体）配对。这可通过指定理论中一组在闭世界假设下解释的闭谓词来进一步丰富，而其余在开世界视图下解释。以此方式，我们可以利用数据的部分完全性检索更精确的查询答案。本文的中心目标是理解其中本体以表达型描述逻辑（DL）ALCHOI书写并包含一组闭谓词的OMQ语言的相对表达力。我们考虑受限的共轭查询类。我们的主要结果是表明该非单调查询语言中的每条查询都可在多项式时间内翻译为稳定模型语义下带否定的Datalog。为克服Datalog无直接手段表达ALCHOI中存在的存在量词的挑战，我们定义了一种刻画本体满足性的双人博弈，并设计可判定博弈获胜策略存在的Datalog查询。若无闭谓词，即查询普通ALCHOI知识库的情形，我们的翻译产生多项式大小的正析取Datalog程序。据我们所知，不同于先前针对带表达型（非Horn）DL的相关片段的翻译，这些是首批多项式时间翻译。
引用
@article{arxiv.1912.07475,
title = {Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog},
author = {Shqiponja Ahmetaj and Magdalena Ortiz and Mantas Simkus},
journal= {arXiv preprint arXiv:1912.07475},
year = {2019}
}