arXiv:2310.16472v2 Announce Type: replace-cross 摘要：我们研究了代数系统赋值——这一最初在关系数据库环境中定义的成功框架——在描述逻辑中的应用。在这种背景下，本体公理被标记为半环的元素，并且这些标记以一种方式传播到本体推论，反映了它们是如何被推导出来的。我们定义了一种适用于涵盖几种轻量级描述逻辑的语言的赋值语义，并展示了它与本体使用特定类型注释（如模糊程度）标记所定义的语义之间的关系。在某些半环限制条件下，该语义满足期望的性质（如扩展数据库中定义的半环赋值语义）。随后，我们重点关注已知的why-赋值，对于这一赋值，我们研究了与断言或合取查询答案赋值相关的复杂性问题。最后，我们考虑了两种更受限的情况，这对应于数据库环境中所谓的正布尔赋值和追溯性。对于这些情况，我们展示了与描述逻辑中已知解释概念的关系，并完成了复杂性分析。作为次要贡献，我们提供了$\mathcal{ELHI}_\bot$本体的条件，以确保推理的可处理性。