【摘 要】
：
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态
【机 构】
：
武汉大学软件工程国家重点实验室,桂林电子科技大学广西可信软件重点实验室,中国科学院计算技术研究所智能信息处理重点实验室
论文部分内容阅读
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL(X)的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL(X)的规划问题,其中规划问题的规划解可以由DDL(X)中的任一动作构成,从而可以支持OWL-S中不含有Split和Split+Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL(X)在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具.
其他文献
售前服务属于服务营销的范畴,但在实施过程日益呈现出项目管理的特性。售前服务包含技术性服务和经济性服务两项内容,其精髓是通过实施"消费者教育"来促进产品销售,并在实践
智慧可以大致分两种。其中一种便是达芬奇式的智慧——无所不包。2013 Inside the Mind of Leonardo达·芬奇的人生密码导演:朱利安琼斯主演:彼得·卡帕尔迪类型:纪
手性在大自然中广泛存在,手性化合物具有一些非常独特的性质和功能,其中手性醇类化合物就是比较重要的一类,尤其是手性二芳基甲醇结构更是广泛存在于多种药物分子中。因此,对
陈鹤琴先生说:"人类的动作十之八九是习惯,而这种习惯有大部分是在幼年养成的,所以,幼年时代应当特别注重习惯的养成……习惯养得好终身受其福,习惯养得不好,则终身受其害"。
改革开放以来，我国的社会经济和科学技术进入了飞速发展的阶段，逐渐迎来了信息化时代。随着信息化的发展，建筑行业的市场竞争也越来越剧烈，建筑施工技术的科技含量逐渐成为了建筑
电子商务的发展对传统的商品流通领域形成巨大的冲击 ,商务电子化使商品流通效率得到很大的提高。本文从界定商流的含义出发 ,通过比较和发展商流的内涵 ,对商流在电子商务条
植物激素及活性氧在植物体整个生命周期中发挥着非常重要的生理功能,调控植株从种子发芽、生长、开花结果直至衰老死亡的全过程。植物激素在植物体内含量极微,且其含量与组成
<正> 2000年6月初,北京市文物研究所京在北京海淀西上坡西发掘出畅春园及其附属的西花园部分遗址,旋即进行了保护性掩埋。一时间媒体纷纷报道:“畅春阅露出旧时模样”、“考
随着传统能源的日益枯竭,人们越来越多地开始关注新型能源的应用与发展。太阳能作为一种取之不尽用之不竭的清洁能源,成为了能源及材料领域研究的重点。基于有机半导体材料的
2018年俄罗斯世界杯足球赛激战正酣,斥巨资征战世界杯广告市场的公司也吸引了众多注意,其中数家汽车企业借势宣传自动驾驶等性能,包括老牌车企和造车新势力企业。业内人士认