基于进化分布式本体的语义Web服务动态发现

被引:15
作者
马应龙
金蓓弘
冯玉琳
机构
[1] 中国科学院软件研究所软件工程技术中心
关键词
语义Web服务; 描述逻辑; 分布式描述逻辑; 服务发现; 本体;
D O I
暂无
中图分类号
TP393.09 [];
学科分类号
080402 ;
摘要
在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了 PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新, 它适用于语义Web服务环境.基于PDK, 文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p -可满足性.
引用
收藏
页码:603 / 614
页数:12
相关论文
共 1 条
  • [1] Classical negation in logic programs and disjunctive databases[J] . Michael Gelfond,Vladimir Lifschitz.New Generation Computing . 1991 (3)