学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
基于进化分布式本体的语义Web服务动态发现
被引:15
作者
:
论文数:
引用数:
h-index:
机构:
马应龙
论文数:
引用数:
h-index:
机构:
金蓓弘
论文数:
引用数:
h-index:
机构:
冯玉琳
机构
:
[1]
中国科学院软件研究所软件工程技术中心
来源
:
计算机学报
|
2005年
/ 04期
关键词
:
语义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)
←
1
→
共 1 条
[1]
Classical negation in logic programs and disjunctive databases[J] . Michael Gelfond,Vladimir Lifschitz.New Generation Computing . 1991 (3)
←
1
→