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.
Original language | English |
---|---|
Title of host publication | Unknown Host Publication |
Pages | 65-68 |
Number of pages | 4 |
DOIs | |
Publication status | Published (in print/issue) - Nov 2005 |
Event | 1st International Conference on Semantics, Knowledge and Grid - Beijing China Duration: 1 Nov 2005 → … |
Conference
Conference | 1st International Conference on Semantics, Knowledge and Grid |
---|---|
Period | 1/11/05 → … |