Jos de Bruijn. WSML abstract syntax and semantics. Final Draft d16.3, WSML Working Group, 2008.

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.

[ bib | http ] Back