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

Boundary-based module extraction in description logics

作　　者：牛悦[1] 刘秋让[2] 方俊[3] 

机构地区：[1]西北工业大学软件与微电子学院,西安710072 [2]西北工业大学计算机学院,西安710072 [3]西北工业大学自动化学院,西安710072

出　　处：《计算机工程与应用》2009年第5期36-38,90,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.6067501)~~

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

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]