摘要
在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了 PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新, 它适用于语义Web服务环境.基于PDK, 文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p -可满足性.
Semantic Web and Web Services have converged into the semantic Web services. By adopting distributed, continuously evolving and heterogeneous ontologies, semantic Web services provide the mechanism of semantic description of Web services for improved automata and interoperability. Along with the changes in application requirements of the enterprises, Web services must be updated, so do the distributed ontologies which are associated with the Web services. In the situation, how to specify the changes in ontologies, keep their consistencies and achieve semantic query of Web services based on the evolving distributed ontologies, become a great challenge. This paper adopts the distributed extension of SHOQ (D) description logic-distributed description logic, to describe correlated heterogeneous distributed ontologies, proposes the concept of prioritized distributed knowledge base (PDK), and also discusses some properties about PDK. PDK can give the evolutions and updates of distributed ontologies which are suitable for semantics Web services. Based on PDK, a semantic query on Web services can be performed by checking p-satisfiability of concepts in accord with the query in the most prioritized PDK. The definition of p-satisfiability is creatively proposed for addressing the consistencies existing in distributed knowledge base. Using this definition, we find that the different evolution versions of PDK will form a partial order. This property will make me better handle evolutions of PDK.
出处
《计算机学报》
EI
CSCD
北大核心
2005年第4期603-614,共12页
Chinese Journal of Computers
基金
国家"八六三"高技术研究发展计划项目基金( 2001AA113010
2002AA413610
2003AA413010
2003AA115440)
国家"九七三"重点基础研究发展规划项目基金(2002CB312005)资助.
关键词
语义WEB服务
描述逻辑
分布式描述逻辑
服务发现
本体
Distributed computer systems
Formal logic
Information analysis
Knowledge based systems
Knowledge representation
Quality of service
Semantics