wsml logo

D16.3v0.3 WSML Abstract Syntax and Semantics

WSML Working Draft 2008-04-14

This version:
Latest version:
Previous version:
Jos de Bruijn
Jos de Bruijn

Copyright © 2008 the authors.


This document presents the abstract syntax as well as the semantics of WSML. This 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 document defines the semantics of WSML ontologies in terms of a model theory, and defines the semantics of the combination of WSML ontologies with RDF graphs and OWL DL ontologies by combining the respective model theories. The notion of entailment for ontologies is used in the definition of nonfunctional property and choreography semantics.

Deliverable document

This document is exclusively available in normative PDF version.
In order to download the PDF version of this deliverable, please click here.


The work is partially funded by the European Commission under the projects ASG, EASAIER, enIRaF, Knowledge Web, Musing, Salero, Seemp, SemanticGOV, Super, SWING and TripCom; by Science Foundation Ireland under the DERI-Lion Grant No.SFI/02/CE1/I13 ; by the FIT-IT (Forschung, Innovation, Technologie - Informationstechnologie) under the projects Grisino, RW˛, SemBiz, SeNSE and TSC.

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-04-14 09:32:38 $

Valid XHTML 1.1!