这篇研究论文介绍了一种基于自动机的分析具有具体域的描述逻辑的方法，旨在确定一致性问题的可判定性和复杂度。所提出的方法通过符号约束丰富了转换，在特定具体域属性下，实现了非空性问题的最优上界EXPTIME。作者们证明了该方法可以扩展到包含逆角色和函数角色名称等特性，同时保持EXPTIME成员资格，突显了约束自动机的鲁棒性。 AI
影响 这项研究为知识表示和推理的理论基础做出了贡献，可能影响未来依赖于复杂逻辑结构的AI系统。
排序理由 该集群包含一篇详细介绍计算机科学新理论方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
