Inproceedings,

A Semantic Stateless Service Description Language

, and .
Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS2008), Udine, Italy, volume 434 of CEUR Workshop Proceedings, Sun SITE Central Europe, (2009)

Abstract

Complexity issues and the requirements on semantic web application in the Life Science domains recently motivated a few works on stateless service description languages. With stateless services, it is possible to reason about the semantic relationships between inputs and outputs, while keeping matchmaking and composition decidable. In this paper we extend the languages introduced previously with more general forms of composition and other constructs. We provide formal syntax and semantics and some preliminary results on the complexity of service comparison. These complexity results rely on hybrid formalisms involving both logic programming rules and description logics.

Tags

Users

  • @flint63

Comments and Reviews