|Ernesto Jimenez Ruiz, Bernardo Cuenca Grau, Ian Horrocks and Rafael Berlanga. Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences|
ABSTRACT: We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques aim at helping users understand and evaluate the semantic consequences of the integration, as well as to detect and fix potential errors. We also present a system that implements our approach, and a preliminary evaluation which suggests that our approach is both useful and feasible in practice.