模块化本体的Tableau算法及其性能优化

摘要：

针对现有模块化本体推理方法通用性低、控制复杂等不足,提出一种基于服务的分布式Tableau算法.模块在进行一致性推理时,对关于外部概念的断言,将调用相应模块的服务进行推理,同一推理中的矛盾在定义相应概念的模块中得到捕获,采用优化技术改进算法的时间性能.实验结果表明,该算法使得模块在表述知识时能灵活引用外部概念,支持复杂的推理任务,具有较好的可伸缩性.

关键词：本体、描述逻辑、模块化、本体推理、分布式算法、Tableau算法

所属期刊栏目：38

分类号：TP393.08(计算技术、计算机技术)

资助基金：教育部人文社会科学研究基金资助项目09YJC870001;安徽省高等学校省级自然科学研究基金资助项目KJ2008B020

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

页数：共4页

页码：289-292