A semantic stateless service description language

3rd International Workshop on Applications of Logic Programming to the

P. A. Bonatti ; L. Sauro

Others  :  http://CEUR-WS.org/Vol-434/paper4.pdf
PID  :  24645

来源: CEUR

【 摘 要 】

Complexity issues and the requirements on semantic web application in the Life Science domains recently motivated a few works on stateless service description languages [1, 5]. 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 in [1] and [5] 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.