44、在实践中计算 EL 中的一阶重写：从原子查询到合取查询

在实践中计算 EL 中的一阶重写：从原子查询到合取查询

1. 引言

在本体中介查询（OMQ）中，查询重写是一项重要技术。它能将给定的 OMQ 以等价的方式重新表述为数据库系统支持的查询语言。由于 SQL 是传统数据库系统中占主导地位的查询语言，将查询重写为 SQL 以及作为其逻辑核心的一阶逻辑（FO）受到了广泛关注。

DL - Lite 家族的描述逻辑（DLs）旨在确保基于 DL - Lite 本体的 OMQ 总能进行 FO 重写，但它的表达能力有限。对于其他大多数 DLs，存在一些 OMQ 无法等价地重写为 FO 查询。不过，实际应用中的本体结构往往较为简单，因此大多数实际相关的 OMQ 有望存在 FO 重写。在 EL 家族描述逻辑的实验评估中证实了这一点，不到 1%的查询被发现无法进行 FO 重写，而且大多数无法重写的情况似乎是由于本体建模错误导致的。

本文聚焦于描述逻辑 EL，它可视为 OWL 2 本体语言的 OWL EL 简档的逻辑核心。用 (L, Q) 表示 OMQ 语言，其中 L 是描述逻辑，Q 是查询语言。Q 的重要选择包括原子查询（AQs）和合取查询（CQs）。已有研究表明，对于 (EL, AQ) 中的 OMQ，判定其是否可进行 FO 重写是 ExpTime 完全问题。结合相关技术和反向链方法，开发出了计算 (EL, AQ) 中 OMQ 的 FO 重写的实用算法，并在 Grind 系统中实现，实践效果良好，且该算法是完备的。

本文的目标是设计一种高效计算 (EL, CQ) 中 OMQ 的 FO 重写的方法，挑战在于处理合取查询而非仅原子查询。虽然 (EL, CQ) 中的 FO 重写判定仍是 ExpTime 完全问题，但简单地将 (EL, CQ)