一个语义Web构架及其实现

语义Web是国际互联网组织W3C制定的关于未来Web的一个长远蓝图,近两年发展异常迅猛,并显示出诱人的应用前景。该文在概述语义Web基本技术的基础上,设计了一个面向企业门户网站的语义Web体系结构;提出了页面代理的概念及其作用与功能结构;设计了语义Web查询语言CDQL,该语言在跨信息源查询、约束表示等方面扩充了DQL查询语言。     

面向语义Web的约束规则系统

随着语义Web的广泛使用,信息智能搜索、智能信息代理、智能交易代理等等智能化电子商务应用将成为现实.与此同时,规则在电子商务中的应用也取得了长足的进展.文中介绍的面向语义Web的约束规则系统结合两者的优势通过使用XML描述约束规则系统的语法、扩充在处理异构数据源方面的谓词和查询表示、引入并行约束程序设计的推理技术、规则选择机制的编译实现完成了规则系统在电子商务异构数据处理及商务决策方面的应用.     

计算可靠且高效的群组密钥协商协议符号化分析方法

符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.     

Enhanced Pattern Representation in Information Extraction

Traditional pattern representation in information extraction lack in the ability of representing domainspecific concepts and are therefore devoid of flexibility. To overcome these restrictions, an enhanced pattern representation is designed which includes ontological concepts, neighboring-tree structures and soft constraints. An information-extraction inference engine based on hypothesis-generation and conflict-resolution is implemented.The proposed technique is successfully applied to an information extraction system for Chinese-language query front-end of a job-recruitment search engine.     

基于语义Web和约束满足技术的旅游规划系统

在基于虚拟组织的e-commerce中,常常涉及从大量的网上服务提供者中找到所需的供应商,并将发现的服务提供者集成起来,实现业务协作,为用户提供一系列流程服务.我们拟将语义Web服务和约束满足技术各自优势结合起来,解决虚拟组织的活动管理.并用此思想构建了一个旅游规划系统.本系统可以适用于Internet等动态开放的环境,其根据用户的要求找到合适的资源信息,然后将问题模型为约束满足问题进行求解,特别是我们采用约束对象表示以便实现高层次建模,从而实现真正意义的E-Traveling.     

基于HPSG文法的Web问答技术研究

基于Web的问答系统既具有问答系统的智能性,又具有互联网上信息的丰富性,将是未来问答系统的发展方向。HPSG是目前计算语言学领域最重要的语言理论之一,这一基于合一的语言形式不仅被成功地用于解释理论上的语言现象,而且也被用于实际的应用程序。首先讨论了各种不同类型问答系统的关键问题所在。然后详细叙述了HPSG理论中符号的类特征结构。最后给出了基于AVMs的合一运算,并提出了把特征结构和合一运算分别应用于Web问答系统的问句分析、问句匹配及答案抽取的方法。该方法的实现将有效提高问答系统的实用性。     

一种可认证的群组密钥协商协议

群组密钥协商协议可以使得所有组员协商出一个相同的密钥,该密钥可以被用到后续的组员之间的安全通信中,保证群组通信的机密性、完整性和真实性。本文在可认证双方密钥认证协议和BD群组密钥协商协议的基础上,提出了一种可认证的群组密钥协商协议(ABD)。和BD相比,ABD不仅能抵抗被动攻击还能抵抗主动攻击。     

基于资源属性空间的网格资源查找算法

提出了一种基于资源属性空间的网格资源查找算法,资源之间通过属性的相似度来确立彼此之间的邻接关系,每个邻居代表属性的一种变化趋势,这样在资源查找时可以沿着与目标资源属性越来越近的方向查找,因此具有较高的查找效率.在理论上证明了算法的完备性;通过试验验证了算法的查找效率.     

Ontology Learning for Chinese Documents Based on SVD and Conceptual Clustering

In order to construct Chinese ontology easily, an automated ontology learning technology forChinese documents based on singular value decomposition(SVD) and conceptual clustering is proposed. Firstthe system extracts concepts from a set of domain-specific documents by using SVD technology,and thenacquires subsumption relationships between the concepts by means of hierarchical conceptual clusteringmethod. The system thus yields domain-related concept hierarchy.     

CRL:对语义Web上的Ontology表示语言DAML+OIL的一种扩充方案

Ontologies在语义Web中起着举足轻重的作用,它不仅能为人类用户而且能为软件Agent提供从语法层次到语义层次上的互操作性。DAML+OIL是专门为语义Web设计的一种Ontology描述语言,它将框架系统、描述逻辑和Web标准这三个不同领域的优点结合了起来,采用面向对象的方法用类和属性来描述领域的结构。但是DAML+OIL也有不足之处,其一是约束表达能力较弱,只能表示属性值的基数约束,不能表示属性值的区间约束;其二是不能表示任何规则,而无论是约束表示还是规则表示对Ontology都是非常重要的。该文提出一种对DAML+OIL的扩充方案,使得扩充后的DAML+OIL可以表示简单的规则和属性值的区间约束。