一种RDF查询转换原理和证明

扫码查看

原文链接

NETL

中文摘要：为满足军队信息化建设对信息系统的信息获取能力提出越来越高的要求,实现信息的按需获取,需要一种恰当的信息获取技术作支撑,以语义网技术为基础的RDF查询技术即符合这一要求.文章给出一种基于RDF的查询转换原理,并采用形式化证明与自然语言说理相结合的方式给出该转换原理的证明.在证明该转换原理正确性的基础上,才可以应用该转换原理构建RDF查询引擎.

作者：

唐蕾、宋自林、吴丹阳、石翌轶

展开 >

作者单位：

解放军理工大学指挥自动化学院

关键词：

RDF查询信息获取语义网技术转换原理

主办单位：

中国电子学会

安徽大学

会议名称：

中国电子学会电子系统工程分会第十三届信息化理论学术研讨会

会议时间：

2006-10-01

会议地点：

合肥

会议母体文献：

中国电子学会电子系统工程分会第十三届信息化理论学术研讨会论文集信息化理论与综合信息系统

页码：

286-290

出版时间：

2006