30、基于本体的数据访问中的实用更新管理

基于本体的数据访问中的实用更新管理

在基于本体的数据访问（OBDA）系统中，更新管理是一个关键问题。本文将介绍一种用于实现本体级和源级更新的框架，该框架通过扩展源模式和映射，允许在不影响原始源数据库的情况下对ABox进行插入和删除操作。

1. 可写OBDA系统

给定一个“只读”OBDA规范 $J = \langle T, M, S \rangle$，框架将源模式 $S$ 扩展为新的模式 $S’$，为每个本体原子概念/角色 $N$ 添加两个额外的表 $ins_N$ 和 $del_N$，用于跟踪 $N$ 的ABox事实的插入和删除。同时，将映射 $M$ 系统地转换为映射 $M’$：
1. 对于每个原子概念/角色 $N$，添加新的映射断言 $N(x) :- ins_N(x)$，确保 $ins_N$ 中的实例作为 $N$ 的实例属于检索到的ABox。
2. 将形式为 $N(x) :- \varphi(x)$ 的映射断言替换为 $N(x) :- \varphi(x) \land \neg del_N(x)$，避免因 $del_N$ 中的实例而导致 $N$ 事实的蕴含。

我们称 $J’ = \langle T, M’, S’ \rangle$ 为可写OBDA规范。当新表 $ins_N / del_N$ 的内容为空时，$J$ 和 $J’$ 是等价的，即它们具有相同的检索到的ABox。这种映射扩展保留了原始映射的语义，同时允许通过 $ins_N / del_N$ 表修改检索到的ABox，而不会产生附带影响。

操作步骤

• 扩展源模式 ：为每个原子概念/角色 $N$ 创建 $ins_N$