用范畴论和SHOIQ（D）DL形式化上下文
摘要
为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ（D）内提出了一个基于上下文的Context-SHOIQ（D）形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.
引用本文（GB/T 7714）
肖如良, 唐胜群, 李 玲, 等. 用范畴论和SHOIQ（D）DL形式化上下文[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2007.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。