描述语义Web服务的带类型的OWL-S

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (22): 58-64.

描述语义Web服务的带类型的OWL-S

刘超1，2，眭跃飞1，曹存根1

1.中国科学院计算技术研究所智能信息处理重点实验室，北京 100190
2.中国科学院研究生院，北京 100049

出版日期:2012-08-01 发布日期:2012-08-06

Features of typed OWL-S for semantic Web services

LIU Chao1，2, SUI Yuefei1, CAO Cungen1

1.Key Lab of Intelligent Information Processing, Institute of Computing Technology, CAS, Beijing 100190, China
2.Graduate University of Chinese Academy of Sciences, Beijing 100049, China

Online:2012-08-01 Published:2012-08-06

摘要/Abstract

摘要： 语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解，从而实现Web服务的发现、调用、组合等的自动化。分析了目前语义Web服务的研究现状和存在的问题，从类型标注的角度出发，用一种带类型的OWL-S来形式化语义Web服务，并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系，从而为服务组合提供了一种形式化的验证方法。

关键词: 语义Web服务, OWL-S, 类型, 一阶动态逻辑, 服务验证

Abstract: Semantic Web services make the Web services computer-interpretable by using markup technology, enabling users and software agents to discover, invoke and compose Web resources. The current works and the existing problems of the semantic Web services are analyzed in this paper, and a typed first-order dynamic logic is proposed to resolve these problems. This paper presents an approach to formalizing the relationships between the types, objects and concepts being used for markup properties and relations of two Web services when two services are composed together. The approach also provides effective supports for service composition verification.

Key words: semantic Web service, OWL-S, type, first-order dynamic logic, service validity

刘超1，2，眭跃飞1，曹存根1. 描述语义Web服务的带类型的OWL-S[J]. 计算机工程与应用, 2012, 48(22): 58-64.

LIU Chao1，2, SUI Yuefei1, CAO Cungen1. Features of typed OWL-S for semantic Web services[J]. Computer Engineering and Applications, 2012, 48(22): 58-64.

[1]	王林，柴江云. 深度神经网络在多场景车辆属性识别中的研究[J]. 计算机工程与应用, 2021, 57(9): 162-167.
[2]	吕品，武秦娟，许嘉. 上市公司文本信息披露智能分析研究综述[J]. 计算机工程与应用, 2021, 57(24): 1-13.
[3]	曾海燕，左开中，王永录，刘蕊. 路网环境下的语义多样性位置隐私保护方法[J]. 计算机工程与应用, 2020, 56(7): 102-108.
[4]	王亚铭，唐俊勇，雷聚超. 面向噪声丢包感知的无线网络拥塞算法[J]. 计算机工程与应用, 2020, 56(14): 93-97.
[5]	林宏阳，彭建山，赵世斌，朱俊虎，许航. JavaScript引擎漏洞检测方法综述[J]. 计算机工程与应用, 2019, 55(11): 16-24.
[6]	祝义1，2，黄志球1，周航1，刘林源1，3. 函数式程序模板元编程的元建模实现方法[J]. 计算机工程与应用, 2018, 54(7): 1-10.
[7]	李超，孙俊. 基于机器视觉方法的焊缝缺陷检测及分类算法[J]. 计算机工程与应用, 2018, 54(6): 264-270.
[8]	宗平1，李雷2. PostgreSQL与MongoDB处理非结构化数据性能比较[J]. 计算机工程与应用, 2017, 53(7): 104-108.
[9]	苗德成1，奚建清2，刘新盛3. Fibrations理论在索引归纳数据类型语法构造中的应用[J]. 计算机工程与应用, 2017, 53(4): 70-74.
[10]	黄苑华1，谢峰1，郝志峰1，2，3，蔡瑞初2. 基于结构相似性的k-modes算法[J]. 计算机工程与应用, 2017, 53(23): 102-107.
[11]	刘忠麟1，2，艾中良1，2，高泽1，李常宝1. 面向司法专题分析的大数据计算资源调度方法[J]. 计算机工程与应用, 2017, 53(20): 265-270.
[12]	肖晓红1，张懿2，刘冬生1，欧阳春娟1. 基于隐马尔可夫模型的音乐分类[J]. 计算机工程与应用, 2017, 53(16): 138-143.
[13]	董俊鹏，杨娟，汪荣贵，曾佳. 基于改进图像导数框架的颜色恒常性计算方法[J]. 计算机工程与应用, 2016, 52(5): 147-153.
[14]	钟艳如1，王冰清1，覃裕初2，高文祥1. 基于本体的公差规范的自动生成[J]. 计算机工程与应用, 2016, 52(3): 37-43.
[15]	张小恒1，2，谢文宾2，李勇明2. 多类型语音特征进化选择算法[J]. 计算机工程与应用, 2016, 52(14): 150-155.