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