BriefGPT - AI 论文速递
·
评估用于 OWL 2 QL 的元推理的 Datalog 工具
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本文研究了本体基础数据查询的不同类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面，首先用不相交的 Datalog 片段来表达了本体中介查询的表达能力。其次，本体中介查询与约束满足问题（CSP）及其逻辑泛化 MMSNP 公式有密切联系。最后，利用这些联系得出了有关本体中介查询的新结果，如 i）本体中介查询的一阶重写和 Datalog 重写，ii）本体中介查询的 P / NP 二分法，以及 iii）本体中介查询的查询包容性问题。
🎯
关键要点
- 研究了本体基础数据查询的不同类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。
- 用不相交的 Datalog 片段表达了本体中介查询的表达能力。
- 本体中介查询与约束满足问题（CSP）及其逻辑泛化 MMSNP 公式有密切联系。
- 得出了本体中介查询的新结果，包括一阶重写和 Datalog 重写。
- 探讨了本体中介查询的 P / NP 二分法。
- 研究了本体中介查询的查询包容性问题。
🏷️
标签
➡️
