D16.1v1.0 WSML Language Reference

WSML Final Draft 2008-08-08

This version

http://www.wsmo.org/TR/d16/d16.1/v1.0/20080808/

Latest version

http://www.wsmo.org/TR/d16/d16.1/v1.0/

Previous version

http://www.wsmo.org/TR/d16/d16.1/v1.0/20080728/

Editors:

Nathalie Steinmetz

Ioan Toma

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.

This document is part of the specification of the Web Service Modeling Language (WSML), version 1.0.

The specification of WSML 1.0 consists of the following four documents.

• WSML Language Reference
• WSML Abstract Syntax and Semantics
• WSML/XML
• WSML/RDF

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 the WSML specification (that is WSML v1.0) is not backward compatible to the previous version of WSML (that is WSML v0.21). For details please refer to the changelog.

Table of Contents

1. Introduction

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 Prologue
  • 2.2.1 WSML Variant Declaration
  • 2.2.2 Namespace References
  • 2.2.3 Header
• 2.3 Ontologies in WSML
  • 2.3.1 Concepts
  • 2.3.2 Instances
  • 2.3.3 Relations
  • 2.3.4 RelationInstances
  • 2.3.5 Axioms
• 2.4 Capabilities, Interfaces and Non-functional Properties in WSML
  • 2.4.1 Capabilities
  • 2.4.2 Interfaces
  • 2.4.3 Non-functional properties
• 2.5 Goals in WSML
• 2.6 Web Services in WSML
• 2.7 Mediators in WSML
  • 2.7.1 ooMediators
  • 2.7.2 wwMediators
  • 2.7.3 ggMediators
  • 2.7.4 wgMediators
• 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 Instances
  • 3.2.3 Relations
  • 3.2.4 RelationInstances
  • 3.2.5 Axioms
• 3.3. Goals in WSML-Core
• 3.4. Web Services in WSML-Core
• 3.5. Mediators 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

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

$Date: 2008-08-08 17:15:51 $