arXiv:2310.16472v3 声明类型: replace-cross 摘要: 我们研究了语义来源——一个最初在关系数据库环境中定义的成功框架——在描述逻辑中的应用。在此上下文中，本体公理被注释为交换半环的元素，并且这些注释通过反映它们是如何推导出来的过程传播到本体结论中。我们为一种涵盖几种轻量级描述逻辑的语言定义了一种语义来源语义，并展示了其与本体注释具有特定类型注释（如模糊程度）的语义的关系。我们表明，在某些半环限制下，该语义满足期望的性质（如扩展数据库中定义的语义来源）。然后我们关注众所周知的为什么语义来源，对于这种语义来源，我们研究了与断言或合取查询答案的语义来源相关的问题的复杂性。最后，我们考虑了两种更受限的情况，分别对应数据库环境中所谓的正布尔语义来源和踪迹。对于这些情况，我们展示了与描述逻辑中著名的解释概念的关系，并完成了复杂性分析。作为一个次要贡献，我们提供了保证可处理推理的 \(\mathcal{ELHI}_\bot\) 本体的条件。