A Conceptual and Formal Framework for Semantic Web Services (v1)
Holger Lausen, Francisco Martín-Recuerda · 2005
EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB Deliverable D2.4.5v1 (WP2.4) Current activities in WP 2.4 include web service discovery, composition and interoperation. Although significant contributions has been done, a conceptual and formal framework for Semantic Web services is required to provide a consensual grounding in which further progress in WP2.4 will be achieved. Following guidelines of SDK Cluster (http://www.sdkcluster.org/), the Web Service Modeling Ontology (WSMO) provides the conceptual underpinning and a formal language for semantically describing all relevant aspects of web services in order to facilitate the automatization of discovering, combining and invoking electronic services over the web. A revised version of this document will be submitted at the end of 2005. Keyword list: web services, semantic web services, semantic web service discovery, semantic web service composition Copyright c © 2005 The contributors Document Identifier KWEB/2005/D2.4.5/v1 Project KWEB EU-IST-2004-507482 Version v1 Date June 26, 2005 State Final Distribution Public Knowledge Web Consortium This document is part of a research project funded by the IST Programme of the Commission of the European Communities as project number IST-2004-507482. University of Innsbruck (UIBK) Coordinator Institute of Computer Science Technikerstrasse 13 A-6020 Innsbruck Austria Contact person: Dieter Fensel E-mail address: [email protected] Ecole Polytechnique Federale de Lausanne (EPFL) Computer Science Department Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne Switzerland Contact person: Boi Faltings E-mail address: [email protected] France Telecom (FT) 4 Rue du Clos Courtel 35512 Cesson Sevigne France. PO Box 91226 Contact person : Alain Leger E-mail address: [email protected] Freie Universitat Berlin (FU Berlin) Takustrasse 9 14195 Berlin Germany Contact person: Robert Tolksdorf E-mail address: [email protected] Free University of Bozen-Bolzano (FUB) Piazza Domenicani 3 39100 Bolzano Italy Contact person: Enrico Franconi E-mail address: [email protected] Institut National de Recherche en Informatique et en Automatique (INRIA) ZIRST 655 avenue de l’Europe Montbonnot Saint Martin 38334 Saint-Ismier France Contact person: Jerome Euzenat E-mail address: [email protected] Centre for Research and Technology Hellas / Informatics and Telematics Institute (ITI-CERTH) 1st km Thermi Panorama road 57001 Thermi-Thessaloniki Greece. Po Box 361 Contact person: Michael G. Strintzis E-mail address: [email protected] Learning Lab Lower Saxony (L3S) Expo Plaza 1 30539 Hannover Germany Contact person: Wolfgang Nejdl E-mail address: [email protected] National University of Ireland Galway (NUIG) National University of Ireland Science and Technology Building University Road Galway Ireland Contact person: Christoph Bussler E-mail address: [email protected] The Open University (OU) Knowledge Media Institute The Open University Milton Keynes, MK7 6AA United Kingdom Contact person: Enrico Motta E-mail address: [email protected] Universidad Politecnica de Madrid (UPM) Campus de Montegancedo sn 28660 Boadilla del Monte Spain Contact person: Asuncion Gomez Perez E-mail address: [email protected] University of Karlsruhe (UKARL) Institut fur Angewandte Informatik und Formale Beschreibungsverfahren AIFB Universitat Karlsruhe D-76128 Karlsruhe Germany Contact person: Rudi Studer E-mail address: [email protected] University of Liverpool (UniLiv) Chadwick Building, Peach Street L697ZF Liverpool United Kingdom Contact person: Michael Wooldridge E-mail address: [email protected] University of Manchester (UoM) Room 2.32. Kilburn Building, Department of Computer Science, University of Manchester, Oxford Road Manchester, M13 9PL United Kingdom Contact person: Carole Goble E-mail address: [email protected] University of Sheffield (USFD) Regent Court, 211 Portobello street S14DP Sheffield United Kingdom Contact person: Hamish Cunningham E-mail address: [email protected] University of Trento (UniTn) Via Sommarive 14 38050 Trento Italy Contact person: Fausto Giunchiglia E-mail address: [email protected] Vrije Universiteit Amsterdam (VUA) De Boelelaan 1081a 1081HV. Amsterdam The Netherlands Contact person: Frank van Harmelen E-mail address: [email protected] Vrije Universiteit Brussel (VUB) Pleinlaan 2, Building G1