A Minimalist Approach to Semantic Annotations for Web Processes Compositions [chapter]

Marco Pistore, Luca Spalazzi, Paolo Traverso
2006 Lecture Notes in Computer Science  
In this paper we propose a new approach to the automated composition of distributed processes described as semantic web services. Current approaches, such as those based on OWL-S and WSMO, in spite of their expressive power, are hard to use in practice. Indeed, they require comprehensive and usually large ontological descriptions of the processes, and rather complex (and often inefficient) reasoning mechanisms. In our approach, we reduce to the minimum the usage of ontological descriptions of
more » ... ocesses, so that we can perform a limited, but efficient and useful, semantic reasoning for composing web services. The key idea is to keep separate the procedural and the ontological descriptions, and to link them through semantic annotations. We define the formal framework, and propose a technique that can exploit simple reasoning mechanisms at the ontological level, integrated with effective reasoning mechanisms devised for procedural descriptions of web services. This definition can be easily extended to the case of an annotated STS. Indeed, the composite service Σ c has no annotations, and hence the annotations of a state of Σ c Γ are those of the corresponding state in Γ .
doi:10.1007/11762256_45 fatcat:hwwp63ry4ffi3fththb6ztixvq