基于子结构逻辑的不确定性语义时态查询技术研究
The Temporal Querying of Uncertain Semantics via Substructural Logic

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.
Temporal querying of uncertainty semantics is an important and open problem.Its optimization in computing resource allocation is critical with respect to temporal data processing.A temporal calculating system via substructural logic has been put forward.It can deal with uncertain semantics thoroughly.Based on these,a querying middleware prototype has been constructed.It maps time attributes to types directly.Therefore,operations of time attributes can be divorced from syntax calculation,but still ensure knowledge represented.That is lead to the querying concisely and efficiently.Experimental results show that the method and middleware prototype are feasible and valid. And it contributes to provide system method to support temporal database, especially to temporal querying of uncertain semantics