基于动态描述逻辑的语义Web服务PE匹配算法 |
| |
引用本文: | 郭媛香.基于动态描述逻辑的语义Web服务PE匹配算法[J].晋中师范高等专科学校学报,2014(3):64-68. |
| |
作者姓名: | 郭媛香 |
| |
作者单位: | 晋中学院信息技术与工程学院,山西晋中030619 |
| |
摘 要: | 将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.
|
关 键 词: | 语义Web服务 前提 效果 动态描述逻辑 服务匹配 |
本文献已被 维普 等数据库收录! |
|