具有路径表达式的表达能力描述逻辑中的数据复杂度
内容提要
本文研究了描述逻辑中的查询回答，提出了基于树模型和自动机算法的解决方案，探讨了不同角色的可满足性及其复杂性，分析了有限本体中介查询的可决定性，并介绍了多种算法和优化技术，为信息系统的发展奠定了基础。
延伸解读
研究脉络与时间跨度
文章汇总了多项研究，时间从2000年延续至2023年，覆盖描述逻辑中路径表达式、查询回答与复杂性分析等多个方向。这种时间跨度表明该领域持续受到关注，且不同时期的研究重点有所演变，从早期可满足性算法到近期参数复杂性及本体中介查询，读者可借此了解技术发展的长期轨迹。
核心复杂性结果
文章提及多个复杂性结论：DEL语言中事件模型的模型检查是PSPACE完全的，满足性问题是NEXPTIME完全的；有界团宽度数据库上的本体中介查询评估是固定参数线性（FPL）的；Datalog_Z的限制子语言分别具有NP完全性和ExpTime完全性。这些结果揭示了不同逻辑片段在计算复杂度上的差异，为选择合适的形式化工具提供了理论依据。
算法与优化技术
针对具有传递和逆角色、角色层次及功能约束的ALC，文章介绍了一种可满足性判定算法，并强调了一系列优化技术对实现实际良好性能决策过程的重要性。这表明理论可判定性需结合工程优化才能落地，读者可关注这些技术如何平衡表达力与推理效率。
应用方向与局限
研究涉及有限本体中介查询应答、分离嵌入式依赖捕捉可递归枚举本体类等，这些工作为信息系统发展奠定基础。但文章也指出某些逻辑（如Datalog_Z）的不可判定性，需通过限制子语言解决，提示读者在应用时需注意表达力与可判定性之间的权衡。
Q&A
描述逻辑中的查询回答是如何实现的？
通过基于树模型和自动机算法的解决方案来实现。
DEL语言中的模型检查问题的复杂性如何？
DEL语言中的模型检查问题是PSPACE完全的，满足性问题是NEXPTIME-complete的。
在有限本体中介查询中，FOMQA的可决定性如何？
研究显示SOIF的三个适当片段的FOMQA具有可决定性。
如何决定具有传递性和逆作用的角色的可满足性？
提出了一种算法来决定具有传递性和逆作用的角色的可满足性。
在有界团宽度的数据库上，OMQ问题的评估结果是什么？
所有OMQ问题都是固定参数线性(FPL)的。
Datalog_Z扩展语言的复杂性如何？
Datalog_Z的不可判定性通过提出两个限制子语言来解决，并证明了相应的NP完全性和ExpTime完全性。
