OntoMerge: A System for Merging DL-Lite

Abstract. Merging multi-sourced ontologies in a consistent manner is an important and challenging research topic. In this paper, we propose a novel approach for merging DL-LiteNbool ontologies by adapting the classical model-based belief merging approach, where the minimality of changes is realised via a semantic notion, model distance. Instead of us-ing classical DL models, which may be infinite structures in general, we define our merging operator based on a new semantic characterisation for DL-Lite. We show that subclass relation w.r.t. the result of merging can be checked efficiently via a QBF reduction. We present our system On-toMerge, which effectively answers subclass queries on merging results, without first computing the merging results. Our system can be used to answering subclass queries on multiple ontologies.