Can We Use Aziom-based Module to Optimize Reasoning in εL++ Ontologies
Modularization is an important technique that may facilitate reasoning with very large ontologies.In this work,we introduce a novel axiom-based modular extraction method for ontologies in EL++ description logics in order to optimize ontology reasoning.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.We present the theoretical foundation and a practical algorithm for computing our axiom-based modules.The proposed algorithm is implemented for the Description Logic EL++.Experimental results on real-world ontologies show that,based on our method, axiom-based modules are close to the optimal one.As a result, the performance of ontology reasoning can be improved significantly.
Jun Fang Lei Guo Ning Yang
Northwestern Polytechnical University,China
国际会议
南京
英文
1-18
2009-08-29（万方平台首次上网日期，不代表论文的发表时间）