@inproceedings{a573fa63084740bdb9d37339b591665a,
title = "Boundary-based module extraction inweakly acyclic EL++ Ontologies: Theory foundation and preliminary evaluation",
abstract = "Modularization is a promising technique to meet the scalability challenge in reasoning with very large ontologies. In this work, we introduce a novel boundary-based modular extraction method for ontologies in weakly acyclic EL++ description logics. The proposed 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 boundary-based modules. The proposed algorithm is implemented for the weakly acyclic DL EL++. Experimental results on real-world ontologies show that boundarybased modules generated by our method are very close to the optimal result.",
keywords = "Available interpretation, Axiom-based module, Boundary, Modularization",
author = "Jun Fang and Lei Guo",
year = "2009",
language = "英语",
isbn = "9783851250602",
series = "Proceedings of I-KNOW 2009 - 9th International Conference on Knowledge Management and Knowledge Technologies and Proceedings of I-SEMANTICS 2009 - 5th International Conference on Semantic Systems",
pages = "576--587",
booktitle = "Proceedings of I-KNOW 2009 - 9th International Conference on Knowledge Management and Knowledge Technologies and Proceedings of I-SEMANTICS 2009 - 5th International Conference on Semantic Systems",
note = "9th International Conference on Knowledge Management and Knowledge Technologies, I-KNOW 2009 and 5th International Conference on Semantic Systems, I-SEMANTICS 2009 ; Conference date: 02-09-2009 Through 04-09-2009",
}