基于动态描述逻辑的语义Web服务PE匹配算法  

作　　者：郭媛香[1] 

机构地区：[1]晋中学院信息技术与工程学院,山西晋中030619

出　　处：《晋中学院学报》2014年第3期64-68,共5页Journal of Jinzhong University

摘　　要：将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.

关 键 词：语义WEB服务 前提 效果 动态描述逻辑 服务匹配 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]