摘要
为了解决本体集成中因上下文的不同所引起的语义不协调的问题,提出了一个上下文驱动的协调机制.该机制基于先前的工作,即一种基于上下文的形式化Context-SHOIQ (D+) DL,采用描述逻辑和范畴论显示表示本体的上下文信息.为了扩展这个形式化,添加了4个迁移规则(包含、选择、优先和映射规则),用来规定输入到集成上下文中的内容;还添加了3个互操作能力依次递增的上下文集成操作(输入、部分协调和完全协调).该机制不是完备的,但足以解决提出的5种语义不协调的问题,有助于本体从一个上下文集成到另一个上下文.
-
单位软件工程国家重点实验室; 武汉大学