期刊文献+

一种基于分块推理的语义Web服务合成方法

A New Method of Web Service Composition Based on Patition-based Reasoning
下载PDF
导出
摘要 将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况. Patition-based reasoning (PBR) is a method of reasoning with partitions of related logical axioms. A new method of web service composition based on MP algorithm is proposed for improving the composition of web services that is located in different UDDIs, and the performance of the semantic reasoner in the process of web service composition. Thus the new method proves more efficient than the one based on traditional theorem proving. A method of extracting the process model from proof based on the idea of n-calculus is also introduced. To make use of the subtype relation provided by semantic reasoner,a new process to handle this process is defined systematically.
作者 刘磊
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第4期540-544,共5页 Journal of Tongji University:Natural Science
基金 国家自然科学基金资助项目(90412013 6047304 60534060)
关键词 WEB服务合成 语义推理 分块推理 消息传递 算法 web service compostion semantic reasoning partition-based reasoning message passing algorithm
  • 相关文献

参考文献8

  • 1EvrenSirin, Bijan Parsia, James A Hendler. Filtering and selecting semantic web services with interactive composition techniques[J]. IEEE Intelligent Systems, 2004,19(4) : 42.
  • 2Jinghai Rao,Peep Kugas, Mihhail Matskin. Logic-based web services composition: from service description to process model[C]//ICWS. San Diego: IEEE, 2004: 446 - 453.
  • 3Eyal Amir, Sheila A McIlraith. Partition-based logical reasoning for first-order and propositional theories[J]. Artif Intell, 2005, 162(1/2) :49.
  • 4Amir E, McIlraith S. Paritition-based logical reasoning[C]//Proc KR' 2000. Breckenridge: KR Inc, 2000:389 - 400,
  • 5Bill MacCartney, Sheila A McIlraith, Eyal Amir, et ah Practical partition-based theorem proving for large knowledge bases[C]// IJCAI. Acapulco: Elsewier, 2003:89 - 98.
  • 6Brickley D,Guha R V. RDF vocabulary description language 1. 0.- RDF schema[DB/OL].[2007 - 10 - 12]. http://www, w3. org/TR/rdf- schema/.
  • 7Horrocks I,Sattler U, Tessaris S, et al. How to decide query containment under constraints using a description logic[C]// Proc of LPAR' 2000. LNAI: Springer, 2000: 377 - 395.
  • 8Milner R. The ployadic pi-calculus: a tutorial[R]. Edinburgh: University of Edinburgh. Laboratory for Foundations of Computer Science,1991.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部