Copyright © 2008 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.
This document presents the abstract syntax as well as the semantics of WSML. The abstract syntax closely follows the conceptual model of WSMO version 1.3, and only diverges where necessary. The document also features a mapping from the abstract to the surface syntax defined in deliverable 16.1, the WSML language reference.
The semantics of WSML ontologies is defined in terms of a model theory. The semantics of the combination of WSML ontologies with RDF graphs and OWL DL ontologies is obtained by combining the respective model theories. The notion of entailment for ontologies is used in the definition of nonfunctional property and choreography semantics.
This document is exclusively available in
In order to download the PDF version of this deliverable, please click here.
The editors would like to thank to all the members of the WSML working group for their advice and input to this document.
$Date: 2008-07-24 09:40:33 $