基于语义的组件组合方法研究

在基于组件的一般性应用系统中,面向自然语言描述需求的组件自动组合技术的研究仍然存在很多挑战。但是,在限定的上下文中,以基于语义的方式对特定应用提供组件自动组合的方法仍然是可行的。采用关键字描述语义信息,提出了一种基于语义的组件组合方法,对组件和请求过程建模,采用规划器搜索组件序列,完成组件的自动组合。方法已经应用于航天器自动化测试数据查询应用系统中,取得了较好的应用效果。     

基于RDF4S语义服务描述模型的服务资源搜索框架

语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。     

基于历史调用日志分析的Web服务间语义相关性发现

针对Web服务间语义相关性发现这一Web服务领域研究的关键问题,目前的方法不能较好地描述服务间语义相关的不确定性,进而不能有效地支持自动服务发现与组合.以Web服务描述中的操作作为服务组件,首先给出Web服务调用历史日志的定义,接着以统计计算为手段,基于PageRank算法给出服务组件权重的计算方法,进一步基于静电场理论给出Web服务组件间语义相关度的度量方法,为Web服务搜索、发现与组合奠定基础.实验结果表明,该方法具有高效性和实用性.     

基于本体的语义搜索研究综述

基于本体的语义搜索将Web搜索带入一个新时代。它使我们能够在浩瀚的网页中更加快速准确地找到想要的信息。本体具有明确的概念描述,基于本体的搜索能够评测关键词之间的语义差异,从而在文档或者查询中找到更准确的结果。因为所选本体的不同,基于本体的语义搜索方法也会不同。该文总结了多种不同的研究方法,并根据搜索相关技术的分类标准进行了比较。最后通过这些比较,找到今后进一步研究的方向。     

UML2．0顺序图的XYZ／E时序逻辑语义研究

UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。     

面向语义Web的软件模式的描述

软件模式用于捕捉开发面向对象软件的经验，可以被复用。文中分析了应用XML，RDF（S）和DAML＋OIL三者描述软件模式的区别，并提出应用DAML＋OIL来描述软件模式以及软件模式之间的关系，使软件模式的描述具有精确的语义，从而使计算机可以理解Web上的软件模式，为以后研究基于语义Web和具有推理能力的搜索奠定了基础。     

基于本体的语义虚拟环境查询与推理模型

当前将本体引入到语义虚拟环境的研究,只是将领域本体的可视化信息用本体表示,并未发挥本体本身具有的优势。为此,提出一种基于本体的语义虚拟环境查询与推理模型。利用OWL语言统一描述虚拟场景图形内容与语义信息,并分别对两者进行查询,在图形内容查询过程中引入本体的推理方法推理出隐含的图形内容信息,然后查询需要的信息。在语义信息查询时引入语义搜索方法,利用基于语义距离计算本体概念相似度的方法计算语义虚拟环境本体中类之间的相似度,搜索与被查询实例语义相似度最大的实例,并借助推理找出其间的关系。对语义虚拟家具商店进行本体的查询与推理,结果证明了该模型的可行性。     

数控领域内基于XML的可扩展的组件描述

软件组件的形式化描述是基于组件开发复杂软件的基础之一。通过把组件的标识信息、外部信息、内部信息、术语信息、技术信息、非功能性属性信息和商业信息等组织成树型结构的形式,利用XML模式定义树型结构的语义规则,设计了数控领域内的组件描述方法。这种方法的一个重要特征是它是可扩展的。利用这种描述方法,在现有组件的基础上,实现了开发式数控系统,系统具有良好的扩展性和灵活性,这种描述方法具有很好的实用价值。     

基于形式化描述的电梯控制系统的建模与仿真

研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。     

基于BDI的语义搜索及其在数字旅游中的应用

目前的上下文处理方法对语义技术支持不足,导致语义搜索在精准度和智能化上存在局限。提出一种基于BDI(BeliefDesire-Intention)的语义搜索方法,对动态上下文进行语义描述,利用BDI机制优化搜索结果。该方法将用户查询、动态上下文与BDI框架的Belief融合,通过产品特征语义、业务语义推理上下文特征和搜索目标特征作为Desire,通过基于Min Hash的语义相似度计算进行候选Intention排序。结合项目需求,在JADEX开源BDI Agent环境下,开发了基于上述语义搜索的旅游产品搜索系统。该系统通过ID3决策树提取用户当前行程的上下文特征实现了语义搜索功能,实验表明该方法搜索准确率相比仅使用语义相似度搜索方法明显提高,能够满足旅游产品搜索的要求。     

面向语义Web的软件模式的描述

软件模式用于捕捉开发面向对象软件的经验,可以被复用。文中分析了应用XML,RDF(S)和DAML OIL三者描述软件模式的区别,并提出应用DAML OIL来描述软件模式以及软件模式之间的关系,使软件模式的描述具有精确的语义,从而使计算机可以理解Web上的软件模式,为以后研究基于语义Web和具有推理能力的搜索奠定了基础。     

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

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

语义Web语言DAML＋OIL及其应用初探

1.引言 1.1 产品信息集成的现状和面临的局限产品信息描述格式的不统一使得传统CIMS之间产品信息不能共享,数据交换产生障碍。STEP标准及其EXPRESS语言统一了产品信息的建模标准和数据结构,使得产品信息由原来的机器不可读(machine-unreadable)变为机器可读(machine-readable),从而在数据格式上解决了产品信息的共享和交换问题。但是,分布、开放、动态的计算环境,使得企业内部及企业     

应用于电子商务的语义Web核心语言分析

到目前为止已有多种基于语义Web的语言，这些语言实现了基于Web的知识表示、共享和重用。重点分析了语义Web的几种语言：XML规范簇、RDF、RDF Schema、DAML OIL。在此基础上给出了语义Web技术的重要应用——电子商务中核心语言的分层结构。该结构中XML规范簇完成了数据描述功能，RDF用于描述元数据，RDF Schema提供了基本的本体原语，DAML OIL提供了推理功能，利用这些语言，可以实现电子商务中数据描述的统一性、通用性及互操作性。     

语义Web及其描述语言

The semantic Web is the direction of the Internet. This paper introdues the framework of the semantic Web and some language used to describle it,including RDF/RDFS and DAML OIL etc. At the same time, this paper dicusses that how denote the knowledge of the semantic Web with the logistic method,and makes a simple reason.     

Web本体语言的分析与比较

本语言用于形式化描述Web文档中词汇的含义，在语义Web的7层模型中占有重要的位置。目前不同的组织提出了多种本体建模语言：RDF，RDFS，OIL，DAML OII和OWL。在介绍这些本体语言的基础上对它们进行了分析和比较，指出了它们相对某些关键特性的差异。     

本体在信息交换中的建模方法

详细介绍了目前最先进的Web本体语言DAML OIJ及相关技术，最后以Java语言为例说明建立一个本体的方法。     

N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展

描述逻辑SHOQ(D)给出了Web本体语言DAML OIL的语义，但SHOQ(D)只能处理严格成立的完备知识，不能处理在实际情况中经常出现的不完备知识．对描述逻辑SHOQ(D)进行扩展，提出了能够处理不完备知识的非单调描述逻辑N—SHOQ(D)．给出了N—SHOQ(D)的语法和语义，定义了N—SHOQ(D)中的蕴涵推理关系，研究了N—SHOQ(D)所具有的性质．N—SHOQ(D)为扩展DAML OIL语言到能够处理不完备知识的情形提供了语义支持．     

Bringing semantics to Web services

A key element to realizing the Semantic Web is developing a suitably rich language for encoding and describing Web content. Such a language must have a well defined semantics, be sufficiently expressive to describe the complex interrelationships and constraints between Web objects, and be amenable to automated manipulation and reasoning with acceptable limits on time and resource requirements. A key component of the Semantic Web services vision is the creation of a language for describing Web services. DAML-S is such a language it is a DAML+OIL ontology for describing Web services that a coalition of researchers created with support from DARPA.     

Extending the Unified Modeling Language for ontology development

There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integration of knowledge and services depends on the existence of explicit declarative semantic models (ontologies). We have been building tools for ontology development based on the Unified Modeling Language (UML). This allows the many mature UML tools, models and expertise to be applied to knowledge representation systems, not only for visualizing complex ontologies but also for managing the ontology development process. UML has many features, such as profiles, global modularity and extension mechanisms that are not generally available in most ontology languages. However, ontology languages have some features that UML does not support. Our paper identifies the similarities and differences (with examples) between UML and the ontology languages RDF and DAML+OIL. To reconcile these differences, we propose a modification to the UML metamodel to address some of the most problematic differences. One of these is the ontological concept variously called a property, relation or predicate. This notion corresponds to the UML concepts of association and attribute. In ontology languages properties are first-class modeling elements, but UML associations and attributes are not first-class. Our proposal is backward-compatible with existing UML models while enhancing its viability for ontology modeling. While we have focused on RDF and DAML+OIL in our research and development activities, the same issues apply to many of the knowledge representation languages. This is especially the case for semantic network and concept graph approaches to knowledge representations. Initial sbmission: 16 February 2002 / Revised submission: 15 October 2002 Published online: 2 December 2002