[1] Fang Jun, Guo Lei, Yang Ning,. Optimizing reasoning in EL++ ontologiesby using boundary-based module [J]. Journal of Southeast University (English Edition), 2009, 25 (4): 482-485. [doi:10.3969/j.issn.1003-7985.2009.04.014]
Copy
Optimizing reasoning in EL++ ontologiesby using boundary-based module(
)
使用边界模块优化EL++本体推理
)Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]
- Volumn:
- 25
- Issue:
- 2009 4
- Page:
- 482-485
- Research Field:
- Computer Science and Engineering
- Publishing date:
- 2009-12-30
Info
- Title:
- Optimizing reasoning in EL++ ontologiesby using boundary-based module
- 使用边界模块优化EL++本体推理
- Author(s):
- Fang Jun; Guo Lei; Yang Ning
- School of Automation, Northwestern Polytechnical University, Xi’an 710072, China
- PACS:
- TP311
- DOI:
- 10.3969/j.issn.1003-7985.2009.04.014
- Abstract:
- In order to optimize ontology reasoning, a novel boundary-based modular extraction method is introduced for ontologies in EL++ description logics.The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.Exactness of the method is ensured by discovering all axioms in the original ontology that may be directly or indirectly relevant to boundaries of symbols used in the reasoning task.Compactness of the method is ensured by boundary partition and intersection operation performed in the process of module extraction.The theoretical foundation and a practical algorithm for computing the proposed axiom-based modules are presented.The proposed algorithm is implemented for the description logic EL++.Experimental results on real-world ontologies show that, based on the proposed modularization method, the performance of ontology reasoning can be significantly improved.
- 为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现, 现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高.
References:
[1] Stuckenschmidt H, Klein M.Structure-based partitioning of large concept hierarchies[C]//The 3rd International Semantic Web Conference.Hiroshima, Japan, 2004, 3298: 289-303.
[2] Seidenberg J, Rector A.Web ontology segmentation: analysis, classification and use[C]//The 15th International Conference on World Wide Web.Edinburgh, Scotland, UK, 2006: 13-22.
[3] Noy N F, Musen M A.Specifying ontology views by traversal[C]//The 3rd International Semantic Web Conference.Hiroshima, Japan, 2004, 3298:713-725.
[4] Grau B C, Horrocks I, Kazakov Y, et al.Modular reuse of ontologies: theory and practice[J].Journal of Artificial Intelligence Research, 2008, 31: 273-318.
[5] Grau B C, Horrocks I, Kazakov Y, et al.Just the right amount: extracting modules from ontologies[C]//The 16th International World Wide Web Conference.Banff, Alberta, Canada, 2007: 717-727.
[6] Suntisrivaraporn B.Module extraction and incremental classification: a pragmatic approach for EL+ontologies[C]//The 5th European Semantic Web Conference.Tenerife, Spain, 2008, 5021: 230-244.
[7] Sirin E, Parsia B, Grau B C, et al.A practical OWL-DL reasoner [J].Web Semantics: Science, Services and Agents on the World Wide Web, 2007, 5(2): 51-53.
[8] Bechhofer S, Volz R, Lord P.Cooking the semantic web with the OWL API[C]//The 2nd International Semantic Web Conference.Sanibel Island, Florida, USA, 2003, 2870: 659-675.
Memo
- Memo:
-
Biographies: Fang Jun(1981—), male, doctor, lecturer, junfang@nwpu.edu.cn; Guo Lei(1956—), male, professor, lguo@nwpu.edu.cn.
Foundation item: The Ph.D. Programs Foundation of Ministry of Education of China(No.20096102120037).
Citation: Fang Jun, Guo Lei, Yang Ning.Optimizing reasoning in EL++ ontologies by using boundary-based module[J].Journal of Southeast University(English Edition), 2009, 25(4): 482-485.