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

摘要

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