【摘 要】
：
W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验证、互操作及执行监控。 但是OWL-S不是一
【机 构】
：
云南大学网络智能计算实验室 昆明 650091
【出 处】
：
2009年西南地区网络与信息系统学术年会
论文部分内容阅读
W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验证、互操作及执行监控。
但是OWL-S不是一种形式化语言，这使得它对服务组合和服务流程的验证能力较为欠缺。本文介绍了OWLS的基本知识，并提出通过模型转换的方式把非形式化的OWL-S模型转化为形式化描述能力强大的Pi-演算模型，借助Pi-演算椎演对OWL-S进行服务组合的推理和验证。
其他文献
2011年10月8-15日，华西村建村50周年庆典。来自五十多个国家175家新闻媒体的五百余名记者像报道一场大型国际盛典一样赶赴现场。江苏省电网主动与华西村联系，专门下了长达8天的华西村村庆保电任务。 全国人大常委会副委员长热地，全国人大财经委副主任委员梁保华，江苏省领导石泰峰、黄莉新、张艳，国家新闻出版总署副署长李东东等近百名中央和省部领导出席纪念大会开幕式。央视主持人朱军、朱迅、水均益等一一
<正>今年以来,农行台江县支行在县域经济发展滞后、保险市场环境欠佳等不利因素的影响下,通过创新保险营销思路和举措,不断加强银企、银保合作,推动了保险代理业务的发展。截
泛洪和主动探测是目前MPLS网络域内路由发布的主要方法，但它们一定程度上均存在冗余开销和路由收敛的问题。提出了一种用基于链路状态的发布订阅系统(LinkState based Publish
室间隔缺损(VSD)是先天性心脏病的常见病种。心音信号包含了关于心血管疾病的大量信息，而心音图是心音信号的声波记录。心音信号的分析对于先天性心脏病的辅助诊断有很重要的
1962年2月24日,星期六。这本来是一个平常的日子,然而对胡适却有着十分重要的意义:由他担任院长的台湾“中央研究院”定在这一天召开第五次院士会议。
Saturday, February 2
随着工作流技术的发展，工作流管理系统的应用范围日益增加，特别是对于离散的工作流程，工作流管理系统的优势显得越来越突出。同时，金融工程学的研究也日益深入，而且金融工程的过程
在潜在语义分析中，词-文档矩阵的确定至关重要。权重计算方法的好坏，会直接影响检索结果的准确与否。在研究传统潜在语义分析权重计算方法的同时，在已有权重计算方法的基础上对
火龙果又称红龙果,原产中美洲热带沙漠地区,它具有耐热、耐旱和不耐寒的特点。果实营养丰富,且有食疗和保健功能。近年来,我国广西、广东和福建等省区已相继种植,同时在北方
随着语义网络中本体資源的增加，本体的规模越来越大，结构越来越复杂，此时，本体查询和管理的效率成为人们普遍关注的问题。如何在本体存储管理系统中合理地存储大规模的本体，支持高
中国现代文学馆研究员、学者傅光明先生以与美国作家韩秀女士的来往通信,写成《书信世界里的赵清阁与老舍》一书,出版前,将书稿以电子邮件方式传奉,向老舍研究专家史承钧先生