Semantic Web Services Language (SWSL)

Version 1.0

Authors:: Steve Battle (Hewlett Packard)
Abraham Bernstein (University of Zurich)
Harold Boley (National Research Council of Canada)
Benjamin Grosof (Massachusetts Institute of Technology)
Michael Gruninger (NIST)
Richard Hull (Bell Labs Research, Lucent Technologies)
Michael Kifer (State University of New York at Stony Brook)
David Martin (SRI International)
Sheila McIlraith (University of Toronto)
Deborah McGuinness (Stanford University)
Jianwen Su (University of California, Santa Barbara)
Said Tabet (The RuleML Initiative)

Abstract

This document defines the Semantic Web Services Language (SWSL), which is used to specify the Semantic Web Services Ontology (SWSO) as well as individual Web services. The language consists of two parts: SWSL-FOL, a full first-order logic language, and SWSL-Rules, as rule-based language. SWSL-FOL is primarily used for formal specification of the ontology and is intended to provide interoperability with other first-order based process models and service ontologies. In contrast, SWSL-Rules is designed to be an actual language for service specification.

Status of this document

This is one of four documents that make up the initial report of the Semantic Web Services Language Committee of the Semantic Web Services Initiative. The report defines the Semantic Web Services Framework (SWSF).

History of publication at http://www.daml.org/services/swsl/report/swsl/:

v. 0.9: April 6, 2005
v. 0.91: April 13, 2005
v. 0.92: April 25, 2005
v. 0.93: May 5, 2005

History of publication at http://www.daml.org/services/swsf/swsl/:

v. 1.0: May 9, 2005

1 Introduction
2 The Language
  2.1 Overview of SWSL-Rules and SWSL-FOL
  2.2 Basic Definitions
  2.3 Horn Rules
  2.4 The Monotonic Lloyd-Topor Layer
  2.5 The NAF Layer
  2.6 The Nonmonotonic Lloyd-Topor Layer
  2.7 The Courteous Rules Layer
  2.8 The HiLog Layer
  2.9 The Equality Layer
  2.10 The Frames Layer
  2.11 Reification
  2.12 Skolemization in SWSL-Rules
  2.13 SWSL-Rules and XML Schema Data Types
  2.16 Semantics of SWSL-Rules
  2.15 SWSL-FOL: The First-order Subset of SWSL
  2.16 Semantics of SWSL-FOL
  2.17 Future Extensions
3 Combining SWSL-Rules and SWSL-FOL
4 Serialization of SWSL in RuleML
   4.1 Serialization of the HiLog Layer
   4.2 Serialization of Explicit Equality
   4.3 Serialization of the Frames Layer
   4.4 Serialization of Reification
   4.5 Serialization of SWSL-FOL
5 Glossary
6 References