1) semantic information retrieval system
语义检索系统
1.
This paper introduces the basic principles and technical schemes of network question-and-answer-mode semantic information retrieval system base on ontology from three links of the questions analysis,information retrieval and answer extraction,and describes the application service and development prospect of this project.
从问句分析、信息检索和答案抽取3个环节介绍了基于本体的网络问答式语义检索系统的基本原理及技术方案,描绘了该项目的应用服务以及发展前景。
2) Semantic Search
语义检索
1.
Ontology-based semantic search over relational databases.;
基于本体的关系数据库语义检索
2.
Proceeding from the definition of semantic search, this paper discusses the basic principles of how to endow information input, information organization and searching result with semantic meaning.
本文从一种新的检索方式——语义检索的定义出发,讨论了对检索入口、信息组织和结果输出赋予语义的基本原理。
3.
On the platform of Jena,semantic search and rule reasoning based on ontology are used to create the auto components purchase order.
使用Protégé作为知识建模工具开发汽车制造领域本体,以Jena为开发平台运用基于本体的语义检索技术和规则推理实现订单的自动生成,开发了一套基于本体的汽车零部件采购订单自动生成系统。
3) semantic retrieval
语义检索
1.
Ontology-based semantic retrieval for legal information;
基于本体的法律信息语义检索
2.
Research on domain ontology-based semantic retrieval model of learning resources;
基于领域本体的学习资源语义检索模型
3.
Ontology-Based Domain Resource Semantic Retrieval;
基于本体的领域资源语义检索研究
4) semantic retrieve
语义检索
1.
Research of Semantic Retrieve Model Based on Semantic Web;
基于SEMANTIC WEB的语义检索模型的研究
2.
This paper makes first an analysis of the shortcoming of semantic meaning lack existed in traditional information retrieval technique,then detailed explanation is given to the basic principles of the semantic retrieve,the ontological knowledge,and the four key modules of semantic information system,etc.
首先分析了传统信息检索技术存在的语义匮乏的缺点,然后对语义检索的基本原理、本体知识、语义信息系统四个关键模块进行了说明,给出一种新的本体构建方法,在此基础之上提出了基于本体信息检索系统的体系框架,并且描述了系统原型的设计思想和检索流程,最后通过一个试验系统平台对系统模型进行验证。
5) SIRSSA
面向领域的语义检索系统
补充资料：逐步语义系统
逐步语义系统
stepwise semandc system
逐步语义系统!ste沙isese兹.涌c卿st助;cTylle。，aT.ceMa.”气ecK，c“cTeMaj 一个由Markov在互2」夕f31中提出的构造性语义学的变种.在这个系统的构造中对一个语义学问题—蕴涵(川IPlica力on)的构造性解释给予了特别的重视.传统的直觉主义对论断(AOB)的解释是，(A OB)表示结构p的可实现性，使得如果q是任意一个断言A的结构，那么p和q一起就可能找到一个断言B的结构.这个非形式的解释从很多方面考虑并不能引导到一个精确的定义，Markov的想法是，蕴涵(A“B)可以被考虑成为用含有无限归纳法原则的理论(一个半形式化的理论(s。的l一化rznal theory))作为手段形成由前提A推导B的论断.因此，问题中的半形式化的理论以及公式A和B的语义可以在构造的早期阶段就得到解释.作为结果一个逐步语义系统产生了，其中作为下一步的公式的意义是用前一步的对象来定义的. Markov构造了两个互相等价的逐步语义系统的变种—“长塔”t2]和“短塔”汇3〕.下面简单地在谓词演算(predicate calculus)的传统记号以及形式算术(forl花d颐如拙tic)的语言中对短塔作出解释(Mar-kov自己用了不带括号的公式记号).语言L。的初等公式采取(t二;)或(t笋r)的形式，其中t，r为原始递归项(L。的项).采用逻辑运算合取(c onjunc-tion)八，析取(disjunction)V以及限定皿词(restri-cted quan山滋r)(丫x‘t)中，(日x簇r)毋，其中沪是L。中的一个公式，而t是L。中的一个项，其他L。的公式可以用通常方式构造出来.语言L。在存在一个由全体L。的式子中辨认出真的闭式子来的一般方法的意义之下是可判定的.L。的公式的语义是由对于公式的结构作归纳法来定义的.每一个L。的公式都等价于一个没有量词的公式. 乙，的公式是由L。的公式利用任意数量的V，八以及存在量词构造出来的.语言L，是不可判定的，但是可以构造一个演算C，在它里面恰好真的闭式子可以推演出来.L:的公式是由L、的公式通过一次使用运算。和任意多次使用运算八和量词丫归纳地构造出来的.因此L:的公式采取如下形式的一种:l)L:的公式;2)(价八沙)，其中尹，价是LZ的公式;3):。刀，其中:，刀是Ll的公式;4)丫x:，其中甲是LZ的公式.蕴涵(仪“川解释如下:(，“刀)表示一个一般的方法出现，它对于语言字母表中的任意字Q，或者能确立Q不是二在C中的一个推演，或者能在C中给出刀的一个推演.一个半形式化的理论s:就这样地被构造出来，其中L:的闭式子可以被推导出来(对Ll而言S:的角色由C来扮演).L:的真公式是S:的公理.在通常的推演规则之间有带有无限多个前提条件的有效的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条