[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()

Share：

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

Author(s):

Fang Jun;  Guo Lei;  Yang Ning

School of Automation, Northwestern Polytechnical University, Xi’an 710072, China

Keywords:

boundary;  module extraction;  reasoning optimization;  axiom-based module

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.

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.

Common functions