Modeling Semantic Web Services: The Web Service Modeling Language

Running Example Outline of the Book Part I Basics Semantic Web Services Web Technologies Semantic Web Technologies Web Service Technologies Web Service Usage Tasks Challenges in Web Service description The Web Service Modeling Ontology Web Service and Goal Description Basic Usage Patterns of WSMO The Basic WSML Language Components of Web Service Descriptions Design Principles of WSML WSML Language Variants WSML Language and Surface Syntax XML and RDF Exchange Syntaxes Leveraging RDF and OWL Ontologies in WSML Web Services Part II the WSML Description Components VIII Contents Description of Ontologies Relating Conceptual and Logical Syntaxes Semantics of WSML Ontologies Layering of WSML Variants Combination with RDFS and OWL DL Functional Description of Services Approaches to Functional Description Set-Based Web Service Description State-Based Web Service Description Behavioral Description of Services Behavioral Model of Choreographies Overview of the WSML Choreography Language Formalizing WSML Choreographies Relating Functional and Behavioral Descriptions Part III Enabling Technologies for WSML Reasoning with WSML Ontology Reasoning Enabling Ontology Reasoning with WSML Reasoning with Rule-Based Variants Reasoning with WSML-DL Creating and Managing WSML Descriptions Editing and Browsing WSML Descriptions Validating WSML Descriptions Testing WSML Ontologies, Web Services and Goals Interfacing with Semantic Execution Environments Conclusions and Outlook Semantic Web Service Description with WSML Ongoing Standardization Efforts