For printing and off-line reading, this document is also available in
non-normative PDF version.
Copyright © 2004 DERI ®, All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply.
The conceptual model and language for WSMO is described in [Roman et al. 2004]. However, different applications need different logical expressivity. Therefore, the WSML working group will provide several variants of WSML with different logical expressivity. In Chapter 2 we introduce these different variants and indicate in which deliverables they will be defined. In addition, different applications need different syntaxes. We introduce these various syntaxes in Chapter 3
Table 1 provides a short overview of the different languages, distinguishing between the syntaxes for WSML and the WSML variants. The different WSML variants and the different syntaxes are described in more detail in the following chapters.
|Syntaxes for WSML|
|D2||Human-readable syntax for WSML|
|D16.3||XML syntax for WSML|
|D16.5||OWL/RDF syntax for WSML|
|Table 1: WSML Language Deliverables|
In Figure 1 the different variants of WSML and the relation between them are shown. These variants differ in the logical expressivity they offer, and thus in the computational complexity they imply. By offering these variants, we allow users to make the trade-off between the provided expressivity and the implied complexity on a per-application basis.
Figure 1. WSML Space
The semantical variants of WSML all share the modeling elements of WSMO. They differ mainly in the kind of logical expressions one is allowed to use. Therefore the syntaxes for these variants will differ only slightly for the WSMO modeling elements. For usability reasons, a semantical variant may include language shortcuts for certain often-used logical expressions.
The three syntaxes for WSML are:
[de Bruijn and Foxvog,
2004] J. de Bruijn and D. Foxvog:
WSMO-Core. WSMO Working Draft v0.1.
[de Bruijn, and Kifer,
2004] J. de Bruijn and M. Kifer (eds): WSML/XML
- An XML Syntax for WSML. WSMO Working Draft v0.1.
[Dean and Schreiber, 2004] M. Dean and G. Schreiber (eds): OWL Web Ontology Language Reference. W3C Recommendation 10 February 2004.
[Kifer et al., 1995] M. Kifer, G. Lausen, and J. Wu: Logical foundations of object oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
[Roman et al., 2004] D. Roman, H. Lausen
and U. Keller (eds): Web Service Modeling Ontology. WSMO Working
[Stollberg et al., 2004] M. Stollberg, H.
Lausen, A. Polleres and R. Lara (eds): WSMO Use Case Modeling and Testing.
WSMO Working Draft v0.1.
The work is funded by the European Commission under the projects DIP, Knowledge Web, Ontoweb, SEKT, SWWS, Esperonto and h-TechSight; by Science Foundation Ireland under the DERI-Lion project; and by the Vienna city government under the CoOperate program.
The editors would like to thank to all the members of the WSMO working group for their advice and input into this document.