Integrating Concept-Based Knowledge Bases

this paper is to propose a basic set of compositional operators that can be used to combine separate concept-based knowledge bases. In particular, we focus our attention on the concept language AL extended with a restricted form of terminological axioms. We have chosen AL because, to the extent of our knowledge, the problem of integrating conceptbased knowledge bases has not been addressed yet, and we wanted to start studying it with a rather simple and well-understood language. In this context, AL seems to be a natural choice, since it can be considered as a core language of a family of well-studied concept languages [10]. We plan to extend our work to more expressive concept languages, which are also more suitable for practical applications, but this is left for future work