知识库查询方法研究

随着现代信息技术的发展,网络知识库已成为人们进行知识共享和交流的平台。随着Wiki技术的出现,使人们对知识的需求量逐步提高,传统知识库出现了成本高、更新慢、查询效率低的现象。本文通过分析Wiki知识库、提出Wiki知识库模型搭建的方法,分析了Wiki知识库查询方法及应用内容,进一步对Wiki知识库进行了深入研究。     

知识库查询方法研究

随着现代信息技术的发展,网络知识库已成为人们进行知识共享和交流的平台。随着Wiki技术的出现,使人们对知识的需求量逐步提高,传统知识库出现了成本高、更新慢、查询效率低的现象。本文通过分析Wiki知识库、提出Wiki知识库模型搭建的方法,分析了Wiki知识库查询方法及应用内容,进一步对Wiki知识库进行了深入研究。     

模糊描述逻辑知识库查询蕴涵的判定方法

大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊SH这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,汪明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.     

基于领域本体知识库的语义查询扩展

为了在检索过程中全面表达用户查询意图,提出了基于领域本体知识库的语义查询扩展方法。该方法借助领域本体推理出的知识,使检索系统从语义层面理解用户查询语句,并通过语义相似度来控制扩展词的规模,避免了查询过度扩展,使得新构造的查询能更准确地描述用户的检索需求,提高了检索的有效性。原型系统的实验结果表明,该方法较传统的关键字匹配法和LAC方法有明显的优势,在保障查全率的基础上,可极大地提高检索准确率。     

面向对象知识库系统CAOBS／V1.2的可视化查询子系统

面向对象知识库系统ＣＡＯＢＳ／Ｖ１．２的用户界面是一个可视化知识查询子系统，它包括一个灵活、直观、方便的可视知识查询语言（ＶＫＱＬ）和一个知识库浏览编辑器。利用该可视化查询语言，用户可以通过构造查询图来表达查询要求，并最终实现查询功能。ＶＫＱＬ吸收了国际上现有的几种可视查询语言的优点，具有较强的查询功能，使用方便。文中介绍了ＶＫＱＬ的设计思想和实现技术，在最后一节将ＶＫＱＬ与同类查询语言进行了对比     

基于Oracle*Forms的遥感解译知识库查询系统的实现

本文以一个卫星应用系统图像处理子系统的开发为例阐述了如何利用Oracle*Forms4.5做为客户端开发工具,对建议在大型关系数据库Oracle基础上的解译知识库查询系统进行的界面与功能开发及系统开发的有关关键技术。     

基于网络知识库与通用搜索引擎的查询词扩展方法

对查询词进行扩展是为了进一步理解用户的搜索意图,使得搜索引擎返回更加准确的信息。已有的方法主要研究如何寻找与查询词相似的词,然而相似的户的词并一定能真正反映用意图。从网络知识库中抽取查询词的待扩展词,并利用通用搜索引擎对待扩展词进行排序,这样的查询词扩展方法充分利用了网络群体智慧,使得扩展词更加贴近用户的搜索期望。通过进行实验对比发现,该方法有较好的结果。     

知识库系统及其研究现状

一、引言数据库技术自出现以来一直以惊人的速度发展。它在商业应用中的成功奠定了其重要地位。七十年代后期,人们已不满足于对关系数据库的研究,很多学者试图从逻辑的观点出发,以数理逻辑作为理论基础来研究数据库。这一尝试导致了八十年代前半期演绎数据库的迅速发展。这一时期的研究成果为新一代数据库技术的研究和发展铺设了一条道路。几乎是在数据库技术取得交口赞誉的同时,人们就已注意到了这些传统技术的局限     

知识库中的空值探讨

分析了空值环境下的三种类型的查询策略，以及Datalog查询求值的Semi-Naive算法，给出了一个从子目标关系空值特性导出头关系空值特性的一种方法，使改进后的Semi-Navie算法能在带空值的EDB数据库中对Datalog查询进行正确求值。     

知识库中的空值探讨

分析了空值环境下的三种类型的查询策略,以及Datalog查询求值的Semi-Naive算法,给出了一个从子目标关系空值特性导出头关系空值特性的一种方法,使改进后的Semi-Naive算法能在带空值的EDB数据库中对Datalog查询进行正确求值.     

基于规则的面向对象数据库查询语言

一、引言 八十年代中期兴起的面向对象数据库和知识库己成为当今数据库技术发展的两重要方向。自出现以来.它们沿着不同的道路独立发展,各自都取得了许多成果.知识库的研究是型的理论驱动的,着重研究基于规则的查询语言(如斯坦福大学的     

基于语义模型的企业数据检索*

为了支持企业在决策时从企业数据中通过检索获得有意义的数据,提出了基于语义模型的语义检索方法。该方法首先基于概念树描述语义模型,通过概念映射将数据源与语义模型进行语义关联。在此基础上,建立语义模型和支持描述逻辑推理的知识模型之间的映射,通过调用描述逻辑推理机完成语义检索,检索结果再通过语义模型映射对应数据源信息,最终返回语义一致益于决策的数据视图。     

描述性语言与知识库系统

1．引言 在数据库领域,由于描述性语言SQL的成功使用,描述性更加受到重视[1,2,3,4]。描述性语言Data-log的提出,使得一些学者认为知识库语言应该是描述性的程序设计语言[4]。然而多年来的研究,不但没有开发出一个描述性的知识库程序设计语言,而且还阻碍了知识库的实用化[5]。本文研究了描述性与逻辑语言、知识库语言之间的关系,提出了三个观点：1)描述性语言是计算不完备的,因此不能作为独立的程序设计语言；2)逻辑语言是描述性语言的合适形式；3)追求语言的描述性是知识库系统实用化的障碍之一。     

知识库系统和语言的演变

引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数据库管理系统(DBMs)能够有效安全地管理大容量数据.但不能处理递归,而递归是上述基于知识系统的基本能力。因此,研制同时具有Prolog和DBMS能力的新型数据系统就成为必要。     

子句间优化技术在语义缓存查询求值中的应用

缓存技术用来弥补网络通信能力的不足。语义缓存既缓存查询结果,也缓存查询语义,可更好节省网络开销。实用性是语义缓存技术产生和发展的基础,根据实用性要求,语义缓存查询求值所消耗的时空代价要远小于网络通信能力不足带来的时空代价,所以必须对求值算法进行优化。文章从语法一级分析求值算法存在的问题并给出了两级优化方法和实现技术,降低了算法复杂度,减少了对数据库的无效访问,使语义缓存技术向实用化迈进了一大步。     

数据库查询优化方法解析

本文主要解释分析了数餐库应用中常用的查询优化方法,包括基于索引、sQL语句和存储过程中的优化方法。     

多媒体查询语言及其评价准则

随着多媒体技术和多媒体相关应用的发展,对有效检索多媒体信息的要求越来越迫切.查询语言作为信息检索的有效工具,其研究也越来越受到关注.对现有的多媒体查询语言进行了全面的综述,将它们分为两类:专用语言和通用语言.尽管查询语言对多媒体信息系统提供有效的查询服务至关重要,但目前仍没有较好的多媒体查询语言评价准则.因此,针对多媒体查询语言的查询表达能力设计准则共16条,并根据这些准则对多媒体查询语言进行了评价.评价结果表明,这些语言能满足用户的基本查询要求,但在高级语义查询和不确定查询等方面还有欠缺.最后展望了多媒体查询语言的未来研究方向.     

Inductive inference of logic programs based on algebraic semantics

In this paper we present a new inductive inference algorithm for a class of logic programs, calledlinear monadic logic programs. It has several unique features not found in Shapiro’s Model Inference System. It has been proved that a set of trees isrational if and only if it is computed by a linear monadic logic program, and that the rational set of trees is recognized by a tree automaton. Based on these facts, we can reduce the problem of inductive inference of linear monadic logic programs to the problem of inductive inference of tree automata. Further several efficient inference algorithms for finite automata have been developed. We extend them to an inference algorithm for tree automata and use it to get an efficient inductive inference algorithm for linear monadic logic programs. The correctness, time complexity and several comparisons of our algorithm with Model Inference System are shown.     

地理信息查询语言发展趋势

作者首先分析了空间数据库查询语言的特征,然后总结出当前的主流地理信息查询语言是SQL查询语言及其扩展,最后指出可视化查询语言将是未来地理信息查询语言发展的一大趋势。