Publication

The WSML Rule Languages for the Semantic Web

Polleres, Axel
Fensel, Dieter
Loading...
Thumbnail Image
Repository DOI
Publication Date
2005
Keywords
Type
Workshop paper
Downloads
Citation
Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel "The WSML Rule Languages for the Semantic Web", Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005.
Abstract
The Web Service Modeling Language WSML provides a framework for the modeling of ontologies and semantic Web services based on the conceptual model of the Web Service Modeling Ontology. In this paper we describe the two rule-based WSML-variants and outline our position with respect to a rule language for the Semantic Web. The first rule-based WSML variant, WSML-Flight, semantically corresponds to the Datalog fragment of F-Logic, extended with inequality in the body and locally stratified negation under the Perfect model semantics. The second, WSML- Rule, is an extension of WSML-Flight to the logic programming subset of F-Logic which allows the use of function symbols and unsafe rules (i.e., there may be variables in rule heads which do not occur in the body).
Publisher
Publisher DOI
Rights
Attribution-NonCommercial-NoDerivs 3.0 Ireland