基于子结构逻辑的不确定性语义时态查询技术研究  

The Temporal Querying of Uncertain Semantics via Substructural Logic

作　　者：滕少华[1] 涂宏俊 刘冬宁[1] TENG Shaohua;TU Hongjun;LIU Dongning(School of Computer Science and Technology,Guangdong University of Technology,Guangzhou Guangdong 510006,China)

机构地区：[1]广东工业大学计算机学院,广东广州510006

出　　处：《江西师范大学学报（自然科学版）》2017年第6期645-650,共6页Journal of Jiangxi Normal University(Natural Science Edition)

基　　金：国家自然科学基金(61402118;61673123);广东省科技计划(2015B090901016;2016B010108007);广东省教育厅项目(粤教高函[2014]97号;粤教高函[2015]133号);广州市科技计划(201604020145;201604046017)资助项目

摘　　要：为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型.基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.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.

关 键 词：时态数据库 时态查询 不确定性语义 子结构逻辑 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]