期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2010
卷号：3
期号：8
页码：776-783
DOI：10.4236/jsea.2010.38090
出版社：Scientific Research Publishing
摘要：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.
关键词：Norm; Situation Calculus; Web Service; Semantic Web; Web Service Composition
