计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (5): 36-38.DOI: 10.3778/j.issn.1002-8331.2009.05.011

• 研究、探讨 • 上一篇    下一篇

描述逻辑中基于边界的模块提取方法

牛 悦1,刘秋让2,方 俊3   

  1. 1.西北工业大学 软件与微电子学院,西安 710072
    2.西北工业大学 计算机学院,西安 710072
    3.西北工业大学 自动化学院,西安 710072
  • 收稿日期:2008-08-18 修回日期:2008-10-30 出版日期:2009-02-11 发布日期:2009-02-11
  • 通讯作者: 牛 悦

Boundary-based module extraction in description logics

NIU Yue1,LIU Qiu-rang2,FANG Jun3   

  1. 1.Department of Software and Microelectronics,Northwestern Polytechnical University,Xi’an 710072,China
    2.Department of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China
    3.Department of Automation,Northwestern Polytechnical University,Xi’an 710072,China
  • Received:2008-08-18 Revised:2008-10-30 Online:2009-02-11 Published:2009-02-11
  • Contact: NIU Yue

摘要: 模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化。

关键词: 模块提取, 边界, 推理, 解释, 描述逻辑

Abstract: Modularization is a very important technique that bears good promises of effective towards scalability in ontology reasoning as the complexity of reasoning is relevant to the volume of knowledge base.Driven by the great benefits,a novel module extraction method for reasoning tasks is proposed in this paper,boundary-based module is calculated in the method by analyzing the relationship between axioms and boundary for interpretation of symbols.The theory foundation for boundary-based module is established and it’s correct for reasoning task is proved.By comparing with the optimal module and signature-based module on realistic ontologies,boundary-based module is very close to the optimal module and suitable for optimizing ontology reasoning.

Key words: module extraction, boundary, reasoning, interpretation, description logics