Extending Semantic Web Service Description by Service Assumption

Authors:
Zheng Lu;Shiyan Li;Aditya Ghose;Peter Hyland
Affiliations:
University of Wollongong, Australia;University of Wollongong, Australia;University of Wollongong, Australia;University of Wollongong, Australia
Venue:
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Year:
2006

Citing 3
Cited 1

On constrained default theories

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
On reasoning by default

TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing

Exploiting assumption-based verification for the adaptation of service-based applications

Proceedings of the 2010 ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Unlike a traditional software module, which runs within a predictable domain, Web Services are autonomous software agents running in a heterogeneous execution environment. Because of distributed responsibilities, ownership and control, it is often not feasible to acquire all information needed for the service composition. These characteristics of autonomy and heterogeneity are fundamental to service oriented computing but make it inherently difficult to avoid service conflicts. To reason about and adapt to a changing environment, in this work, we will extend current OWL-S by introducing the concept of service assumptions which allow reasoning with incomplete information. Furthermore, together with the proposed service assumptions, a sequence of rules is proposed to describe all permitted behaviors in service composition context.