48、基于DOTR的事件流高效时间推理

基于DOTR的事件流高效时间推理

1. 实现

DOTR采用模块化方法实现，利用了本体推理和时间推理的先进工具，使用RDFox存储、查询和推理背景知识，使用T - Rex进行时间推理。其具体操作流程如下：
- 规则部署 ：规则解析器分析输入的DOTR规则。对于每个DOTR规则R，执行以下操作：
1. 提取R中嵌入的SPARQL查询，并提交给RDFox。
2. 将R转换为TESLA规则T，通过用其定义的映射替换每个SPARQL查询，并将T提交给T - Rex。
3. 从R的define子句中提取图定义集。
- 运行时处理 ：当收到带有时间戳t的RDF图G时，DOTR执行以下步骤：
1. 用背景知识丰富G，并推导在t时刻成立的所有信息（本体推理）。
2. 执行规则中嵌入的SPARQL查询，提取在t时刻成立的感兴趣的事实。
3. 将这些事实转换为TESLA事件，并发送给T - Rex（时间推理）。
4. 使用输出生成器将T - Rex生成的复合事件转换为带时间注释的RDF图。

下面详细介绍这些步骤：
- 知识推理 ：系统初始化时，将背景知识预加载到RDFox中。当收到带有时间戳t的图G时，DOTR通过以下方式计算在t时刻成立的全部知识：
1. 从RDFox中删除来自所有时间戳t′ < t的图G′的信息Δ−。
2. 将G中的所有RDF三元组Δ+添加到RDFox中。
3. 使用可用的推理规则进行本体推理，以删除仅在存在Δ−时才能推导的旧信息，并添加可以从Δ+推导的新