Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
558534 | Web Semantics: Science, Services and Agents on the World Wide Web | 2010 | 19 Pages |
Abstract
This paper describes a novel approach to the description and discovery of Semantic Web services. We propose SPARQL as a formal language to describe the preconditions and postconditions of services, as well as the goals of agents. In addition, we show that SPARQL query evaluation can be used to check the truth of preconditions in a given context, construct the postconditions that will result from the execution of a service in a context, and determine whether a service execution with those results will satisfy the goal of an agent. We also show how certain optimizations of these tasks can be implemented in our framework.
Related Topics
Physical Sciences and Engineering
Computer Science
Information Systems
Authors
Marco Luca Sbodio, David Martin, Claude Moulin,