作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2012, Vol. 38 ›› Issue (13): 289-292. doi: 10.3969/j.issn.1000-3428.2012.13.087

• 开发研究与设计技术 • 上一篇    

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

蒋宗华1,徐 勇1,2   

  1. (1. 安徽财经大学管理科学与工程学院,安徽 蚌埠 233030;2. 南京航空航天大学信息科学与技术学院,南京 210016)
  • 收稿日期:2011-11-28 出版日期:2012-07-05 发布日期:2012-07-05
  • 作者简介:蒋宗华(1974-),男,讲师、硕士,主研方向:网络安全,语义网;徐 勇,副教授、博士研究生
  • 基金资助:
    教育部人文社会科学研究基金资助项目(09YJC870001);安徽省高等学校省级自然科学研究基金资助项目(KJ2008B020)

Tableau Algorithm of Modular Ontology and Its Performance Optimization

JIANG Zong-hua 1, XU Yong 1,2   

  1. (1. School of Management Science and Engineering, Anhui University of Finance & Economics, Bengbu 233030, China; 2. College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)
  • Received:2011-11-28 Online:2012-07-05 Published:2012-07-05

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

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

Abstract: The existing reasoning methods of modular ontology are restricted and difficult to manipulate. Aiming at this problem, a distributed service-based Tableau algorithm is presented. During the consistency reasoning, a module can call the services of others to reason asserts about foreign concepts. Every contradiction of a reasoning process is captured in the module defining the related concept. Optimization methods are used to improve the time-efficiency of the algorithm. Experimental results show that by adopting the proposed algorithm, a module can use foreign concepts flexibly to represent knowledge, and some complex reasoning tasks can be fulfilled. The algorithm has good scalability.

Key words: ontology, description logic, modularization, ontology reasoning, distributed algorithm, Tableau algorithm

中图分类号: