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.
This document is exclusively available in
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 $