描述逻辑中的本体融合方法研究

Description logics (DLs) are a family of important ontology language. DLs are considered as the key technologies for the success of the next Web, and play an important role in some application domains that are relevant to the development of national economy, such as healthcare, prospection of oil. Because of its important, ontology engineering based on DLs have received considerable attention from national and international scholars. Ontology merging is an important part of ontology engineering, it is helpful to construct new ontologies by resuing existing ones. Therefore, research on ontology merging in DLs has significance in both theory and applications. In this project, we will study the key problem of ontology merging in DLs, i.e., dealing with logical inconsistencies when merging ontologies. This problem is important because inconsistencies can naturally occur when several ontologies are to be merged, and DL reasoner cannot handle inconsistencies effectively. We will first study some semantic methods to ontology merging, then study context-dependant methods for ontology merging. In order to evaluate these methods, we plan to propose some postulates for merging methods in DLs. Finally, we plan to study semi-automatic methods for ontology merging with user interaction. The results of this project will be significant to the theoretical study of DLs and to the success of applications of DLs, such as the Semantic Web.

描述逻辑是一类重要的本体语言，被认为是下一代万维网成功的关键技术，并且在医疗、石油勘探等与国民经济发展密切相关的领域发挥着重要作用。因此基于描.述逻辑的本体工程受到国内外学者的高度重视。本体融合是本体工程的一个重要组成部分，.有助于重用已有的本体来构建新的本体。研究描述逻辑中本体融合具有重要的理论和应用意.义。本项目要研究的是描述逻辑中本体融合的关键问题，即处理本体融合时的逻辑不一.致性。这个问题之所以重要，是因为不一致在本体融合中广泛存在，且描述逻辑的推理机不.能有效处理不一致的本体的推理。本项目首先研究基于描述逻辑语义的本体融合方法，然后.研究考虑基于上下文的本体融合方法。为了从逻辑角度对这些方法进行评估，我们拟提.出一些描述逻辑中本体融合的公设集。最后，我们拟研究用户参与的半自动的本体融合。本.项目的研究成果对描述逻辑的理论研究及其在语义Web 等领域的成功取到重要作用。

描述逻辑是一类重要的本体语言，被认为是下一代万维网成功的关键技术，并且在医疗、石油勘探等与国民经济发展密切相关的领域发挥着重要作用。因此基于描述逻辑的本体工程受到国内外学者的高度重视。本体融合是本体工程的一个重要组成部分，有助于重用已有的本体来构建新的本体。研究描述逻辑中本体融合具有重要的理论和应用意义。本项目要研究的是描述逻辑中本体融合的关键问题，即处理本体融合时的逻辑不一致性。这个问题之所以重要，是因为不一致在本体融合中广泛存在，且描述逻辑的推理机不能有效处理不一致的本体的推理。本项目首先研究基于描述逻辑语义的本体融合方法，然后研究考虑基于上下文的本体融合方法。为了从逻辑角度对这些方法进行评估，我们拟提出一些描述逻辑中本体融合的公设集。最后，我们拟研究用户参与的半自动的本体融合。本项目的研究成果对描述逻辑的理论研究及其在语义Web 等领域的成功取到重要作用。