摘要
模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2009年第5期36-38,90,共4页
Computer Engineering and Applications
基金
国家自然科学基金(No.6067501)~~
关键词
模块提取
边界
推理
解释
描述逻辑
module extraction
boundary
reasoning
interpretation
description logics
作者简介
牛悦（1981-），女，硕士研究生，主要研究领域为语义和本体技术；E-mail： mermaidoudou@nwpu.edu.cn
刘秋让（1976-），男，副教授，硕士研究生导师，主要研究领域为网格计算和分布式系统；
方俊（1981-），男，博士，主要研究领域为本体推理和图像语义。
