Applying AI Planning to Semantic Web Services for Workflow Generation

Author

Chen, Liming ; Yang, Xueqiang

Author_Institution

Sch. of Comput. & Math., Univ. of Ulster, Coleraine

fYear

2005

fDate

27-29 Nov. 2005

Firstpage

65

Lastpage

65

Abstract

Semantic Web Services (SWS) intend to enhance interoperability and encapsulate domain knowledge via semantic descriptions. This paper claims that service composition in a service-oriented computing paradigm is an AI planning problem. We present the Event Calculus (EC) - a well-known action theory, and further discuss the mechanisms of using the formalism for representing and reasoning service capabilities. We describe an architecture for automatic workflow generation in which an EC-based planner builds workflows by reasoning against distributed pools of SWS.

Keywords

Web services; open systems; planning (artificial intelligence); semantic Web; temporal logic; AI planning; EC-based planner; automatic workflow generation; event calculus; interoperability; semantic Web service; service-oriented computing; Artificial intelligence; Calculus; Computer architecture; Mathematics; Ontologies; Problem-solving; Process planning; Semantic Web; Technology planning; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Semantics, Knowledge and Grid, 2005. SKG '05. First International Conference on

Conference_Location

Beijing

Print_ISBN

0-7695-2534-2

Electronic_ISBN

0-7695-2534-2

Type

conf

DOI

10.1109/SKG.2005.44

Filename

4125853