A Note on Semantic Web Services Specification and Composition in Constructive Description Logics

Dipartimento di Informatica e ComunicazioneUniversita degli Studi dell’InsubriaVia Mazzini 5, 21100, Varese, ItalyAbstract. The idea of the Semantic Web is to annotate Web contentand services with computer interpretable descriptions with the aim to au-tomatize many tasks currently performed by human users. In the contextof Web services, one of the most interesting tasks is their composition. Inthis paper we formalize this problem in the framework of a constructivedescription logic. In particular we propose a declarative service specifica-tion language and a calculus for service composition. We show by meansof an example how this calculus can be used to define composed Webservices and we discuss the problem of automatic service synthesis.