Semantic Web Service Composition: From OWL-S to Answer Set Programming

Junyan Qian,Guowang Huang,Lingzhong Zhao
DOI: https://doi.org/10.1007/978-3-642-22691-5_20
2011-01-01
Abstract:This paper presents a method that adapting planning description to bring the semantic information into play for service composition through action language C. It shows how service descriptions can be expressed by preconditions and effects and the action language C provides a richer syntax and semantic for complex service descriptions. We also presents the algorithm of translating semantic web service described by OWL-S to action language C. Thanks to the structured description and the powerful expression of C. we only consider the initial Situation and the desired goal ignoring details of transition and planning. At last we use satisfiability planning to solve the planning problem by translating the action language into disjunctive logic program.
What problem does this paper attempt to address?