22、描述逻辑 DL - Lite 中的时态查询回答

描述逻辑 DL - Lite 中的时态查询回答

在时态查询回答领域，不同的研究提出了多种方法。有的将线性时态逻辑（LTL）与描述逻辑（DL）结合，有的则专注于在特定的 DL 家族中实现高效的查询回答。下面我们将详细探讨相关概念和方法。

1. 研究背景与相关工作

在时态查询回答的研究中，有不少相关工作。例如，有的研究提出了一种结合 LTL 和 DL ALC 上的合取查询（CQ）的查询语言，其时态组件可通过刚性名称的概念影响 DL 查询，复杂度会因是否允许刚性概念名或刚性角色名而有所不同，还研究了数据复杂度。还有研究探讨了 DL - Lite 扩展中的时态查询回答，允许线性时态运算符出现在 DL 概念内部，并证明了该逻辑中查询回答的一阶可重写性。

不过，现有的时态数据库查询技术并不完全适合我们的需求。比如，将数据库视为时态数据库并将查询重写为 ATSQL 查询，会面临存储所有过去观测数据导致数据库过大的问题，且并非所有过去观测数据都与特定查询相关。另外，有方法可减少所需空间，但查询语言仅允许过去运算符。

2. 预备知识

2.1 DL - Litecore 基础

• 基本定义 ：
  • 设 $N_C$、$N_R$ 和 $N_I$ 分别为非空且两两不相交的概念、角色和个体名称集合。角色表达式可以是角色名 $P_1 \in N_R$ 或逆角色 $P_2^-$（$P_2 \in N_R$）。基本概念形式为 $A$ 或 $\exists R$（$A \in N_C$，$R$ 为角色表达式），一般概念形式为 $B$ 或 $\neg B$（$B$ 为基本概念