wsml logo

D16v0.2 The WSML Family of Representation Languages

WSML Working Draft 21 September 2004

This version
http://www.wsmo.org/2004/d16/v0.2/20040921/
Latest version
http://www.wsmo.org/2004/d16/v0.2/
Editor:
Jos de Bruijn
Authors:
Jos de Bruijn
Douglas Foxvog
Holger Lausen
Eyal Oren
Dumitru Roman
Dieter Fensel
Reviewer:
Ian Horrocks

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.


Namespaces

For referring to WSML variants of this version of WSML the following URIs should be used for identifying this particular version (v0.2) of each WSML variant:

WSML Variant Namespace
WSML-Full http://www.wsmo.org/2004/d16/v0.2/#wsml-full
WSML-Core http://www.wsmo.org/2004/d16/v0.2/#wsml-core
WSML-Flight http://www.wsmo.org/2004/d16/v0.2/#wsml-flight
WSML-DL http://www.wsmo.org/2004/d16/v0.2/#wsml-dl
WSML-Rule http://www.wsmo.org/2004/d16/v0.2/#wsml-rule

Notice that this document subsumes all previous WSML specification deliverables (D16.x). More specifically, this document supersedes the following deliverables:

Furthermore, this deliverable will (in future versions) implement WSML/RDF, WSML/OWL, WSML-Full, WSML-Rule, WSML-DL, and WSML-Flight, which were previously foreseen as separate deliverables.

This deliverable has been given the initial version 0.2 to stay compliant with the numbering of the deliverable D16.0, which had version number v0.2 at the time of creating D16.

With respect to previous versions of d16.0, d16.3 and d16.7, the following has changed:

To be discussed are the discussion issues raised in the Section 2.2.9. WSML-Core changelog and the proposed features for WSML-Flight in Section 2.4 WSML-Flight.

Abstract

We introduce WSML, a family of formal representation languages with its roots in Description Logics and Logic Programming. The conceptual modeling elements of WSML are based on the meta-model of WSMO.

The WSML variants have increasing expressiveness, starting with the intersection of Description Logic and Horn Logic and ending with full First-Order Logic with non-monotonic extensions.

All WSML variants are described in terms of a normative human-readable syntax. Besides the human-readable syntax we provide an XML and an RDF syntax for exchange between machines. Furthermore, we provide a mapping to OWL for basic inter-operation with OWL ontologies.


Table of Contents


1. Introduction

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. We describe the implementations for WSML in Chapter 4. Finally, we present conclusions and future work in Chapter 4

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.

No. Name
Syntaxes for WSML
Chapter 2 Human-readable syntax for WSML
Section 3.1 XML syntax for WSML
Section 3.2 RDF syntax for WSML
Section 3.3 Mapping to OWL
WSML variants
Section 2.1 WSML-Full
Section 2.2 WSML-Core
Section 2.3 WSML-Rule
Section 2.4 WSML-DL
Section 2.5 WSML-Flight
Table 1: The WSML Family of Representation Languages

5. Conclusions

Acknowledgement

We would especially like to thank the reviewer of the deliverable, Ian Horrocks, for useful comments and discussions around this deliverable.

The work is funded by the European Commission under the projects DIP, Knowledge Web, 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 WSML working group for their advice and input into this document.




Valid XHTML 1.1!

$Date: 2004/09/21 17:25:48 $