摘要
In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.
为了解决本体集成中因上下文的不同所引起的语义不协调的问题,提出了一个上下文驱动的协调机制.该机制基于先前的工作,即一种基于上下文的形式化Context-SHOIQ (D+) DL,采用描述逻辑和范畴论显示表示本体的上下文信息.为了扩展这个形式化,添加了4个迁移规则(包含、选择、优先和映射规则),用来规定输入到集成上下文中的内容;还添加了3个互操作能力依次递增的上下文集成操作(输入、部分协调和完全协调).该机制不是完备的,但足以解决提出的5种语义不协调的问题,有助于本体从一个上下文集成到另一个上下文.
