WSML Working Draft 12 July 2008
For printing and off-line reading, this document is also available in non-normative PDF version.
Copyright © 2008 by the authors.
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 v0.3) is not backward compatible to the previous version of WSML (that is WSML v0.21). For details please refer to the changelog.
PART I: PRELUDE
PART II: WSML VARIANTS
2 WSML Syntax
PART III: THE WSML EXCHANGE SYNTAXES
Appendix A. Human-Readable Syntax
Appendix B. Built-ins in WSML
Appendix C. WSML Keywords
Appendix D. Changelog
$Date: 2008-07-12 23:06:23 $