TITLE:
Applications of Norm and Situation Calculus in the Semantic Web Service Composition
AUTHORS:
Jun Zhao, Xiaozhu Gu
KEYWORDS:
Norm, Situation Calculus, Web Service, Semantic Web, Web Service Composition
JOURNAL NAME:
Journal of Software Engineering and Applications,
Vol.3 No.8,
August
26,
2010
ABSTRACT: Semantic Web service studies are carried out around the OWL-S, however, OWL-S model does not contain the descrip-tion of preferences and constraints when we choose and use them in different organizations, different cultures, different sectors and actors because of OWL capacity limitations in rules. It means that Semantic Web service composition can not compose users’ subjective services from the user requirements. The paper makes up for the semantic shortcoming of OWL-S through using norm semantic scalability, and achieves the formal description of the norm by using the situation calculus. Finally, the paper also takes a tourism composite service as an example how to extend the ability of the semantic description of OWL-S, which shows us the combination of the norm and the situation calculus. It is positive significance for eventually realizing semantic extension of OWL-S.