2010/07/14 by Loris Bozzato, Bozzato, Loris, Mauro Ferrari +1
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #F.4.1 #FOS: Computer and information sciences #H.3.5 #I.2.4 #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #cs.AI #cs.LO
paper · pdf · doi:10.48550/arxiv.1007.2364
15 pages, 2 figures. Part of this work will appear as a position paper in Proceedings of 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010)
arxiv created 2010/07/14 · openalex publication_date 2010/07/14 · arxiv updated 2010/07/15 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
The idea of the Semantic Web is to annotate Web content and services with computer interpretable descriptions with the aim to automatize many tasks currently performed by human users. In the context of Web services, one of the most interesting tasks is their composition. In this paper we formalize this problem in the framework of a constructive description logic. In particular we propose a declarative service specification language and a calculus for service composition. We show by means of an example how this calculus can be used to define composed Web services and we discuss the problem of automatic service synthesis.