D16.1v0.3 WSML Language Reference

WSML Working Draft 18 March 2008

This version

http://www.wsmo.org/TR/d16/d16.1/v0.3/20080318/

Latest version

http://www.wsmo.org/TR/d16/d16.1/v0.3/

Previous version

http://www.wsmo.org/TR/d16/d16.1/v0.3/20080226/

Editors:

Ioan Toma

Nathalie Steinmetz

Authors:

The WSML working group members

For printing and off-line reading, this document is also available in non-normative PDF version.

Copyright © 2008 by the authors.

Abstract

WSML is a language for modeling Web services, ontologies, and related aspects, and is based on the Web Service Modeling Ontology WSMO. The formal grounding of the language is based on a number of logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming. Besides providing its own language for modeling ontologies, it allows the import and use of RDF Schema and OWL ontologies for Web service description.

This document provides a reference of the features of the WSML language. It is intended for users who want to model web services and ontologies using WSML, and implementers who want to build tools based on the WSML language.

Please note that the current version of WSML specification is not backward compatible with respect to the syntax used to specify annotations descriptions. For more details please see Section 2.2.3

Table of Contents

PART I: PRELUDE

1. Introduction

• 1.1. Structure of the deliverable

PART II: WSML VARIANTS

2 WSML Syntax

• 2.1 WSML Syntax Basics
  • 2.1.1 Namespaces in WSML
  • 2.1.2 Identifiers in WSML
  • 2.1.3 Comments in WSML
• 2.2 WSML Elements
  • 2.2.1 WSML Variant Declaration
  • 2.2.2 Namespace References
  • 2.2.3 Header
• 2.3 Ontology Specification in WSML
  • 2.3.1 Concepts
  • 2.3.2 Relations
  • 2.3.3 Instances
  • 2.3.4 Axioms
• 2.4 Capability, Interface and Non-functional Properties Specification in WSML
  • 2.4.1 Capabilities
  • 2.4.2 Interfaces
  • 2.4.3 Non-functional properties
• 2.5 Goal Specification in WSML
• 2.6 Mediator Specification in WSML
  • 2.6.1 ooMediators
  • 2.6.2 wwMediators
  • 2.6.3 ggMediators
  • 2.6.4 wgMediators
• 2.7 Web Service Specification in WSML
• 2.8 General Logical Expressions in WSML

3 WSML-Core

• 3.1 WSML-Core Syntax Basics
• 3.2. WSML-Core Ontologies
  • 3.2.1 Concepts
  • 3.2.2 Relations
  • 3.2.3 Instances
  • 3.2.4 Axioms
• 3.3. Goals in WSML-Core
• 3.4. Mediators in WSML-Core
• 3.5. Web Services in WSML-Core
• 3.6. WSML-Core Logical Expression Syntax

4 WSML-DL

• 4.1. WSML-DL Logical Expression Syntax

5 WSML-Flight

• 5.1. WSML-Flight Logical Expression Syntax
• 5.2. Differences between WSML-Core and WSML-Flight

6 WSML-Rule

• 6.1. WSML-Rule Logical Expression Syntax
• 6.2. Differences between WSML-Flight and WSML-Rule

7 WSML-Full

• 7.1. Differences between WSML-DL and WSML-Full
• 7.2. Differences between WSML-Rule and WSML-Full

PART III: THE WSML EXCHANGE SYNTAXES

Appendix A. Human-Readable Syntax

• A.1. BNF-Style Grammar
• A.2. Example of Human-Readable Syntax

Appendix B. Built-ins in WSML

• B.1. WSML Datatypes
• B.2. WSML Built-in Predicates
• B.3. Translating Built-in Symbols to Predicates

Appendix C. WSML Keywords

Appendix D. Changelog

References

Acknowledgements

PART I: PRELUDE

PART II: WSML VARIANTS

PART III: THE WSML EXCHANGE SYNTAXES

$Date: 2008-03-17 17:30:02 $