用范畴论和SHOIQ(D)DL形式化上下文

摘要：

为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ(D)内提出了一个基于上下文的Context-SHOIQ(D)形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.

关键词：范畴、描述逻辑、上下文、Context-SHOIQ(D)、信息集成

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90604005

在线出版日期：2007-07-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1322-1325