-
题名基于动态描述逻辑的语义Web服务推理
被引量：44
- 1
-
-
作者
史忠植
常亮
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2008年第9期1599-1611,共13页
-
基金
国家自然科学基金(90604017
60775035)
+1 种基金
国家"八六三"高技术研究发展计划项目基金(2007AA01Z132)
国家"九七三"重点基础研究发展规划项目基金(2007CB311004)资助~~
-
文摘
语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的Process Model出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于Process Model中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于Process Model中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.
-
关键词
语义web服务
OWL-S
动态描述逻辑
web服务推理
服务发现和组合
-
Keywords
semantic web service
OWL-S
dynamic description logic
reasoning about web services
discovery and composition of services
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于目录服务的语义WebService共享技术
被引量：1
- 2
-
-
作者
朱建
周爱霞
卢晨晨
罗炜
沈晔
-
机构
中国人民解放军理工大学气象海洋学院
-
出处
《江南大学学报（自然科学版）》
CAS
2013年第1期50-53,共4页
-
文摘
针对当前语义Web服务的研究现状,提出利用目录服务和Web服务本体推理机制来实现语义Web服务的自动处理能力;介绍了LDAP目录服务器的功能结构和Web服务本体推理机各模块的功能,并将两者结合构建语义Web服务的自动处理和分布式共享框架。结合元数据搜索服务的例子,理论证明该系统框架有助于实现语义Web服务分布式共享。
-
关键词
LDAP目录服务器
语义web服务
OWL-S语言
web服务本体推理
-
Keywords
LDAP directory server, semantic web services, OWL-S language, web service ontology reasoning
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
-
