Copyright © 2005 retained by the authors.
All Rights Reserved.
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.
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/:
History of publication at http://www.daml.org/services/swsf/swsl/:
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