摘 要Web服务的日益广泛和语义Web研究的不断深入,使得利用本体语言自动处理各种Web服务任务成为可能
回顾了Web服务的主要思想和基本概念,指出了其在描述Web服务的语义信息方面的不足,从而说明在Web服务研究中引入语义Web的目的
介绍了描述Web服务语义信息的本体语言OWL-S,并针对OWL-S在描述Web服务动态组合方面能力的不足,尝试利用情形演算理论扩展其该方面的语义描述能力,使本体语言能够满足Web服务动态组合的需要
对最终实现基于语义的Web服务的动态组合具有积极意义
关键词:Web Services OWL—S Semantic Web 情形演算 Web 服务动态组合- 1 -论文英文题目AbstractThe proliferation of Web Services and the evolution towards the Semantic Web bring about the opportunity to automate various Web Services tasks.We start with a brief introduction to the main idea and concept of Web Services,pointing out its shortage of capability to describe the semantic information of Web Services.Then we introduce the OWL-S,an ontology language used to describe Web Services.With the Situation Calculus,we ascribe a semantic to the OWL-S,which strengthens the desc