Modeling Semantic Web Services

by de Bruijn, Jos; Fensel, Dieter; Kerrigan, Mick; Keller, Uwe; Lausen, Holger

• ISBN13: 9783540681694
• ISBN10: 3540681698
• Format: Hardcover
• Copyright: 2008-07-04
• Publisher: Springer-Verlag New York Inc

Summary

Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.

Author Biography

Jos de Bruijn received his Master of Science degree in Technical Informatics from the Delft, University of Technology, The Netherlands, in 2003. Since 2003 he is employed as a researcher at the Digital Enterprise Research Institute (DERI), at the University of Innsbruck, Austria. His research interests include Semantic Web (Services) languages, Logical languages, Logic Programming and Non-Monotonic Reasoning. He is the main architect of the WSML language. Dieter Fensel is the Scientific Director of the Digital Enterprise Research Institute (DERI) at the National University of Ireland, Galway in 2003, and the Director of the Digital Enterprise Research Institute (DERI) at the Leopold Franzens University of Innsbruck, Austria in 2006. His current research interests are around the usage of semantics in 21st century computer science.

Table of Contents

Introduction	p. 1
Running Example	p. 3
Outline of the Book	p. 5
Basics
Semantic Web Services	p. 9
Web Technologies	p. 9
Semantic Web Technologies	p. 11
Web Service Technologies	p. 14
Web Service Usage Tasks	p. 17
Challenges in Web Service description	p. 20
The Web Service Modeling Ontology	p. 23
Web Service and Goal Description	p. 25
Basic Usage Patterns of WSMO	p. 27
The Basic WSML Language	p. 29
Components of Web Service Descriptions	p. 30
Design Principles of WSML	p. 33
WSML Language Variants	p. 36
WSML Language and Surface Syntax	p. 38
XML and RDF Exchange Syntaxes	p. 56
Leveraging RDF and OWL Ontologies in WSML Web Services	p. 59
The WSML Description Components
Description of Ontologies	p. 65
Relating Conceptual and Logical Syntaxes	p. 66
Semantics of WSML Ontologies	p. 68
Layering of WSML Variants	p. 83
Combination with RDFS and OWL DL	p. 88
Functional Description of Services	p. 97
Approaches to Functional Description	p. 98
Set-Based Web Service Description	p. 100
State-Based Web Service Description	p. 107
Behavioral Description of Services	p. 117
Behavioral Model of Choreographies	p. 118
Overview of the WSML Choreography Language	p. 119
Formalizing WSML Choreographies	p. 122
Relating Functional and Behavioral Descriptions	p. 129
Enabling Technologies for WSML
Reasoning with WSML	p. 135
Ontology Reasoning	p. 136
Enabling Ontology Reasoning with WSML	p. 139
Reasoning with Rule-Based Variants	p. 142
Reasoning with WSML-DL	p. 155
Creating and Managing WSML Descriptions	p. 159
Editing and Browsing WSML Descriptions	p. 161
Validating WSML Descriptions	p. 168
Testing WSML Ontologies, Web Services and Goals	p. 170
Interfacing with Semantic Execution Environments	p. 173
Conclusions and Outlook	p. 177
Semantic Web Service Description with WSML	p. 177
Ongoing Standardization Efforts	p. 179
References	p. 181
Index	p. 191
Table of Contents provided by Ingram. All Rights Reserved.