基于Web本体描述语言的偏好表示和推理

1

作者 方流 蔡铭 董金祥 《计算机集成制造系统》 EI CSCD 北大核心 2008年第6期1213-1219,共7页

在偏好的逻辑链表示方法的基础上,提出了使用Web本体描述语言来表达偏好的方法。通过使用Web本体描述语言可以将偏好的表达和推理很自然地结合在一起,而成熟的描述逻辑推理器可保证用Web本体描述语言来表达偏好的实用性。应用偏好算子... 在偏好的逻辑链表示方法的基础上,提出了使用Web本体描述语言来表达偏好的方法。通过使用Web本体描述语言可以将偏好的表达和推理很自然地结合在一起,而成熟的描述逻辑推理器可保证用Web本体描述语言来表达偏好的实用性。应用偏好算子使用户能够表达复杂的偏好,满足了用户多样化的搜索需求。此外,使用Web本体描述语言还可以增加条件偏好,从而增强偏好的表达能力。 展开更多

关键词 偏好 web本体描述语言 描述逻辑 分级知识库

在线阅读 下载PDF 职称材料

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量：4

2

作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多

关键词 web服务 语义web 过程语义 web服务本体描述语言 本体演化 过程模型网 着色PETRI网

在线阅读 下载PDF 职称材料

基于本体的Web服务发现算法研究 被引量：2

3

作者 陈星豪 李陶深 《计算机工程与应用》 CSCD 2012年第5期121-123,170,共4页

随着Web服务数目的增长,基于关键字的发现机制已不能满足Web服务的需要。引入领域本体概念,提出一种基于领域本体的Web服务发现匹配算法WSDA。该算法采用Web服务本体描述语言(OWL-S)描述Web服务,采用改进的基于几何距离的语义匹配方法,... 随着Web服务数目的增长,基于关键字的发现机制已不能满足Web服务的需要。引入领域本体概念,提出一种基于领域本体的Web服务发现匹配算法WSDA。该算法采用Web服务本体描述语言(OWL-S)描述Web服务,采用改进的基于几何距离的语义匹配方法,将概念关系图映射到数据库中,方便了Web服务间相似度的计算和比较。通过实验验证算法的可行性和有效性。 展开更多

关键词 web服务 web服务本体描述语言(OWL-S) 本体 语义匹配 对等(P2P)

在线阅读 下载PDF 职称材料

基于产品族实例本体模型的产品配置方法研究 被引量：14

4

作者 但斌 姚玲 +2 位作者 经有国 王江平 郭钢 《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期645-651,共7页

为解决大规模定制环境下现有的实例配置知识表达方法可扩展性差、配置效率低的问题,将本体和产品族的概念与配置实例相结合,建立了基于本体的产品族实例模型。在分析模型的基础上,证明了产品族实例的本体表达有助于对配置问题语义信息... 为解决大规模定制环境下现有的实例配置知识表达方法可扩展性差、配置效率低的问题,将本体和产品族的概念与配置实例相结合,建立了基于本体的产品族实例模型。在分析模型的基础上,证明了产品族实例的本体表达有助于对配置问题语义信息的理解。同时,采用Web本体描述语言对概念实体及实体之间的关系进行了描述。以上述工作为基础,构建了摩托车产品族实例本体框架,从实例特征参数、实例配置知识及经验和实例配置方案三方面出发,对提出的模型进行了验证。 展开更多

关键词 大规模定制 产品族 产品配置 实例本体 web本体描述语言

在线阅读 下载PDF 职称材料

基于OWL-P的产品开发过程共享信息语义描述 被引量：4

5

作者 张辉 张霖 +1 位作者 陶飞 赖李媛君 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1783-1791,共9页

为支持复杂产品协同设计,满足不同部门进行知识级的信息交换和共享,以产品自身的知识表示为例,提出一个基于静态结构和动态特性的产品共享信息模型框架。在此基础上,针对本体描述语言OWL(Ontology Web Language)对产品动态特性知识描述... 为支持复杂产品协同设计,满足不同部门进行知识级的信息交换和共享,以产品自身的知识表示为例,提出一个基于静态结构和动态特性的产品共享信息模型框架。在此基础上,针对本体描述语言OWL(Ontology Web Language)对产品动态特性知识描述的不足,通过添加动态知识表示算子,提出一种适合复杂产品知识表示的描述语言OWL-P(OWL-Oriented Process),并开发了相应的解析工具。以导弹为例,采用OWL-P实现了对某导弹产品静态结构和动态知识的描述,同时应用所开发的解析工具实现并验证了OWL-P本体文件的查询和推理能力。 展开更多

关键词 产品开发 共享信息 语义描述 web本体描述语言 静态结构 动态特性 导弹

在线阅读 下载PDF 职称材料

一种基于有色Petri网的语义Web服务组合验证机制 被引量：8

6

作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组... Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。 展开更多

关键词 web服务组合 web服务本体描述语言 有色PETRI网 形式化验证

在线阅读 下载PDF 职称材料

业务过程执行语言流程语义标注方法研究

7

作者 孙红俊 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2009年第3期609-617,共9页

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三... 为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。 展开更多

关键词 业务过程执行语言 web本体描述语言 语义标注 语义消歧 web服务本体描述语言 工作流

在线阅读 下载PDF 职称材料

基于语义Web服务内部流程接口匹配的服务组合算法 被引量：1

8

作者 邱爽 王亚东 刘永壮 《高技术通讯》 CAS CSCD 北大核心 2012年第6期596-603,共8页

针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言（OWL—S）并... 针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言（OWL—S）并在领域本体的支持下对Web服务语义进行描述，对服务与服务流程进行区分，将服务流程作为组合操作对象，通过计算不同的Web服务内部流程接口之间语义关联程度，遵从后继服务流程选择策略自动地生成能够满足用户需求的流程组合方案，并通过反向检索组合流程，消除组合方案中冗余的服务流程。通过一系列的仿真实验对该组合方法的成功率、效率等方面进行了验证，结果证明了该方法可以更加有效地根据用户请求自动生成服务组合方案。 展开更多

关键词 语义web服务 服务组合 web服务本体描述语言(OWL-S) 领域本体 服务流程

在线阅读 下载PDF 职称材料

一种验证Web服务流程的新方法 被引量：1

9

作者 王晨 王红兵 许迅 《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可... 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。 展开更多

关键词 时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证 工作流模型分析

在线阅读 下载PDF 职称材料

对OWL及其逻辑基础的研究 被引量：21

10

作者 李文斌 刘椿年 陈嶷瑛 《计算机应用》 CSCD 北大核心 2004年第B12期146-148,共3页

OWL是WebOntology的表示语言,是实现语义Web的语言工具。对OWL三个子语言 的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表 示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻... OWL是WebOntology的表示语言,是实现语义Web的语言工具。对OWL三个子语言 的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表 示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述。 展开更多

关键词 语义web 本体论 web本体描述语言 描述逻辑

在线阅读 下载PDF 职称材料

基于OWL-S的云制造服务语义匹配方法 被引量：39

11

作者 尹超 夏卿 黎振武 《计算机集成制造系统》 EI CSCD 北大核心 2012年第7期1494-1502,共9页

针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中... 针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中本体概念参数和约束条件参数的匹配度量化问题,给出结合语义相似度和基于蕴涵关系推理的量化方法及匹配算法。通过应用实例验证了该方法的有效性和可行性。 展开更多

关键词 云制造服务 匹配 web服务本体描述语言 语义 相似度

在线阅读 下载PDF 职称材料

基于语义的e-维护知识服务模型

12

作者 郭建文 李运培 +1 位作者 丘杨枫 许楚滨 《东莞理工学院学报》 2013年第1期68-73,共6页

为了支持e-维护知识资源的共享和集成,提出了基于语义的e-维护知识资源服务模型。采用形式化定义对模型进行规范化表示,通过用扩展的Web服务本体描述语言(Web Ontology Language for Service,OWL-S)进行语义建模的实现。基于模型构建的... 为了支持e-维护知识资源的共享和集成,提出了基于语义的e-维护知识资源服务模型。采用形式化定义对模型进行规范化表示,通过用扩展的Web服务本体描述语言(Web Ontology Language for Service,OWL-S)进行语义建模的实现。基于模型构建的知识服务注册组件已成功应用于某e-维护知识管理系统。 展开更多

关键词 设备维护 e-维护 知识服务 语义web web服务本体描述语言

在线阅读 下载PDF 职称材料