【摘 要】
：
为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服
【机 构】
：
西安交通大学计算机系统结构与网络研究所,西安邮电学院计算机科学与技术系
论文部分内容阅读
为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系 利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系 依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect, Side-effect和Common匹配,用以对匹配结果进行
其他文献
目的:探讨医院麻醉药物管理方法。方法:对麻醉药物实行专人保管,专柜加锁,专保险柜,专册登记,专用处方。结果:麻醉药品合理应用。结论:加强麻醉药品的管理,保障临床合理用药
为了揭示粉煤灰和磨细矿渣对混凝土微观结构初始缺陷的影响规律，采用高分辨率X-射线微焦点CT（Xray Micro．CT）图像对具有不同胶凝材料的4个系列高性能混凝土进行了研究．混凝土微观
布莱恩特是美国19世纪早期浪漫主义文学的主流诗人。他的自然诗开辟了美国诗歌的健康道路,不仅有活泼抒情的艺术特点,也具有浪漫的感召力,充满了精神美和意象美,揭示了大自然
研究巨大儿的出生率增高的原因，探讨巨大儿的产前预测及产前诊断的最佳检测手段，以减少在生产过程中出现各种异常情况，降低母儿危险。表明巨大儿的产前预测、明确诊断及选择正确
对2根外包钢-混凝土连续梁试件进行了静力加载实验研究与承载力分析．测量并分析了试件的荷载-挠度及荷栽-应变关系曲线．结果表明：外包钢-混凝土组合梁负弯矩区钢筋和外包钢梁通
青藏高原国家公园群建设是促进青藏高原地区可持续发展的重要模式探索。解析地域功能、建构有序的空间组织模式是其关键科学基础。基于青藏高原科学考察研究队提出的国家公园
通过几何比例尺为1∶2的物理模型试验,研究三峡升船机螺母柱结构各构件受力状态及传力机制,比较施工期与运行期各构件应力变化与变形规律。试验表明：运行期,在锁定荷载作用端
设计了一种力觉辅助主从式远程康复训练机器人系统，该系统由主机械臂和从机械臂构成，二者通过Internet网络相连．治疗师在医院操纵主机械臂，远地从机械臂跟踪治疗师的运动，可以使患
基于银行间信用拆借关系,构建了银行间市场的网络模型,研究了我国银行间市场的网络效率特征.由于无法获得具体的银行间信用拆借规模,利用银行间市场部分信息估测了银行间信用
<正>一、物理的学科特点物理学是一门以实验为基础,以原理为基石,以定律为主线,以数学为手段的严密理论学科。因此,学生在学习的过程中,需要克服的困难较多,导致学习积极性不