BriefGPT - AI 论文速递
·
具有路径表达式的表达能力描述逻辑中的数据复杂度
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本文证明了在ZOIQ上满足性问题的数据复杂性是NP完备的，并且证明了在ZIQ中带根查询的蕴涵问题在形式复杂度上是coNEXPTIME完备的。
🎯
关键要点
- 本文探讨了在准林中非常表达性描述逻辑 ZOIQ 上满足性问题的数据复杂性。
- 证明了 ZOIQ 上的满足性问题是 NP 完备的。
- 完成了对 ZOIQ 可判定片段的数据复杂性全景的研究。
- 重新证明了关于 OWL2 可判定片段（SR 系列）的已知结果。
- 利用相同的技术，证明了在 ZIQ 中带根查询的蕴涵问题在形式复杂度上是 coNEXPTIME 完备的。
➡️
