Service Requests and Specifications in a Semantic Web with Relevant States

Tracking #: 1617-2829

This paper is currently under review
Francisco J. Galan
Ahmed Riveras

Responsible editor: 
Marta Sabou

Submission type: 
Full Paper
A new language for specifying the functionality of semantic web services is defined in this paper. The proposed language is based on the concept of sequence of relevant states and it is more expressive than the so-called IOPE specification language. The writing of the relevant state distinguishes two kinds of statements: positive statements (i.e. sentences expressing true conditions) and negative statements (i.e. sentences expressing false conditions). A formalization based on OWL ontologies is proposed for the relevant state. Once established the definition of the new language, two notions of service request satisfaction from sequences of relevant states are defined: (a) satisfaction at publication time and (b) satisfaction at exploitation time. Both notions are useful for the definition of matchmaking policies. The notion of satisfaction at publication time is defined for generic requests and it does not depend on concrete states in the web. The notion of satisfaction at exploitation time is defined for concrete requests and it depends on concrete states in the web. We have tested the mechanization of the proposal with the construction of a prototype. The prototype compiles service requests and service specifications and it solves request satisfaction problems at publication time in a completely automatic manner. Numerous experiments with realistic descriptions included in the collection OWLS-TC4 have been performed with promising results.
Full PDF Version: 
Under Review