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

摘要：

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

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

作者: 唐蕾 宋自林 吴丹阳 石翌轶

作者单位: 解放军理工大学指挥自动化学院

会议类型: 国内会议

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

会议地点: 合肥

会议语种:中文

页码: 286-290

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）