Inferencing Support for Semantic Web Services: Proof Obligations
Uwe Keller, Axel Polleres, Holger Lausen, Michael Stollberg, Michael Kifer · 2004
Abstract The Web Service Modeling Ontology (WSMO) provides the concep-tual framework for semantically describing web services and their spe-ciflc properties. Based on WSMO the Web Service Modeling Language (WSML) implements this conceptual framework in a formal languagefor annotating web services with semantic information.In this document we present and discuss how semantic descriptions ofweb services based on WSMO and WSML can be exploited for varioustasks in the design and dynamical composition of web-service-basedsoftware-systems.In particular, we investigate and analyze what kind of statementsneed to be formally checked (resp. proven) in order to support the var-ious tasks occuring during this dynamic system-construction processmechanically and allow these processes to access the semantic informa-tion captured in the description. These formal statements are called proof obligations .Together, WSMO and WSML as well as the semantic tool suite de-scribed and developed within deliverable D5 constitute the necessarysemantic infrastructure that is needed for making