基于动态描述逻辑的语义Web服务推理

被引：44

作者：

史忠植

常亮

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室

来源：

计算机学报 | 2008年 / 09期

关键词：

语义Web服务; OWL-S; 动态描述逻辑; Web服务推理; 服务发现和组合;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的Process Model出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于Process Model中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于Process Model中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.

引用

页码：1599 / 1611

页数：13

共 4 条

[1] 动态描述逻辑的Tableau判定算法 [J].

常亮 ;

史忠植 ;

邱莉榕 ;

林芬 .

计算机学报, 2008, (06) :896-909

[2] 语义Web的逻辑基础 [J].

史忠植 ;

董明楷 ;

蒋运承 ;

张海俊 .

中国科学E辑:信息科学, 2004, (10) :1123-1138

[3] Bringing semantics to web services with OWL-S [J].

Martin, David ;

Burstein, Mark ;

McDermott, Drew ;

McIlraith, Sheila ;

Paolucci, Massimo ;

Sycara, Katia ;

McGuinness, Deborah L. ;

Sirin, Evren ;

Srinivasan, Naveen .

WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2007, 10 (03) :243-277

[4]

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem[J] . Michael Thielscher.Artificial Intelligence . 1999 (1)

← 1 →