[1]滕少华,涂宏俊,刘冬宁.基于子结构逻辑的不确定性语义时态查询技术研究[J].江西师范大学学报(自然科学版),2017,(06):645-650.
　TENG Shaohua,TU Hongjun,LIU Dongning.The Temporal Querying of Uncertain Semantics via Substructural Logic[J].Journal of Jiangxi Normal University:Natural Science Edition,2017,(06):645-650.
点击复制

基于子结构逻辑的不确定性语义时态查询技术研究()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2017年06期
页码:
645-650
栏目:
出版日期:
2017-12-01

文章信息/Info

Title:
The Temporal Querying of Uncertain Semantics via Substructural Logic
作者:
滕少华; 涂宏俊; 刘冬宁
广东工业大学计算机学院, 广东 广州 510006
Author(s):
TENG Shaohua; TU Hongjun; LIU Dongning
School of Computer Science and Technology,Guangdong University of Technology,Guangzhou Guangdong 510006,China
关键词:
时态数据库;  时态查询;  不确定性语义;  子结构逻辑
Keywords:
temporal database;  temporal querying;  uncertainty semantics;  substructural logic
分类号:
TP 301
文献标志码:
A
摘要:
为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.
Abstract:
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.

参考文献/References:

[1] 汤娜,叶小平,汤庸,等.偏序时态XML索引TempPartialIndex? [J].软件学报,2016,27(9):2290-2302.
[2] 陈海明,崔莉.面向服务的物联网软件体系结构设计与模型检测 [J].计算机学报,2016,39(5):853-871.
[3] álvarez M R,Félix P,Cari?ena P.Discovering metric temporal constraint networks on temporal databases [J].Artificial Intelligence in Medicine,2013,58(3):139-154.
[4] Combi C,Oliboni B,Quintarelli E.Modeling temporal dimensions of semistructured data [J].Journal of Intelligent Information Systems,2012,38(3):601-644.
[5] 尹浩,乔波.大数据驱动的网络信息平面 [J].计算机学报,2016(1):126-139.
[6] Hans-Ulrich Krieger.A temporal extension of the Hayes and ter horst entailment rules for RDFS and OWL [EB/OL].
[2016-11-18]. http://www.nifti.eu/publications/pdfs/hayesterhorstextension.pdf.
[7] Zhao Ran,Do Quanxuan,Roth Dan.A robust shallow temporal reasoning system [EB/OL].
[2016-11-18].http://www.anthology.aclweb.org/N/N12/N12-3008.pdf.
[8] Huang Yaping,Zhao Jiali,Liu Yunhui,et al.Nonlinear dimensionality reduction using a temporal coherence principle [J].Information Sciences,2011,181(16):3284-3307.
[9] 严丽,马宗民,刘健,等.基于关系数据库映射的模糊数据XML建模 [J].计算机学报,2011,34(2):291-303.
[10] 张翀,唐九阳,肖卫东,等.基于簇核心的XML结构聚类方法 [J].计算机研究与发展,2011,48(11):2161-2176.
[11] 杜方,陈跃国,杜小勇.RDF数据查询处理技术综述 [J].软件学报,2013,24(6):1222-1242.
[12] Lu Wei,Gabriel Pui Cheong Fung,Du Xiaoyong,et al.Approximate entity extraction in temporal databases [J].World Wide Web,2011,14(2):157-186.
[13] 蒋运承,汤庸,王驹,等.基于描述逻辑的带属性依赖时序ER模型 [J].计算机研究与发展,2007,44(10):1765-1773.
[14] 刘冬宁,汤庸.时态数据库时间轴的动态逻辑模型 [J].软件学报,2010,21(4):694-701.
[15] Luca Anselma,Bela Stantic,Paolo Terenziani,et al.Querying now-relative data [J].Journal of Intelligent Information Systems,2013,41(2):285-311.
[16] Jose Enrique Pons,Nicolás Marín,Olga Pons,et al.A relational model for the possibilistic valid-time approach [J].International Journal of Computational Intelligence Systems,2012,5(6):1068-1088.
[17] Doder D,Grant J,Ognjanovic’ Z.Probabilistic logics for objects located in space and time [J].Journal of Logic and Computation,2013,23(3):487-515.
[18] Ribaric S,Hrkac T.A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets [J].Information Systems,2012,37(3):238-256.
[19] 左亚尧,汤庸,舒忠梅.基于粒度层次映射转换的时态粒点差运算方法 [J].计算机研究与发展,2012,49(11):2320-2327.
[20] Emonet R,Varadarajan J,Odobez J M.Temporal analysis of motif mixtures using dirichlet processes [J].IEEE Transactions on Pattern Analysis & Machine Intelligence,2014,36(1):140-156.
[21] 刘冬宁,汤庸,滕少华,等.基于时态数据库的极小子结构逻辑系统 [J].计算机学报,2013,36(8):1592-1601.
[22] 刘冬宁,汤庸,黄昌勤,等.时态查询语言的并发Lambek演算及范畴语法 [J].智能系统学报,2009,4(3):245-250.

备注/Memo

备注/Memo:
收稿日期:2017-05-13基金项目:国家自然科学基金(61402118,61673123),广东省科技计划(2015B090901016,2016B010108007),广东省教育厅项目(粤教高函[2014]97号,粤教高函[2015]133号)和广州市科技计划(201604020145,201604046017)资助项目.作者简介:滕少华(1962-),男,江西南昌人,教授,博士,主要从事网络安全、数据挖掘和协同计算的研究.E-mail:shteng@gdut.edu.cn
更新日期/Last Update: 1900-01-01