In this paper we present the ontology matching system
LogMap 2, a much improved version of its predecessor LogMap.
LogMap 2 supports user interaction during the matching process,
which is essential for use cases requiring very accurate mappings.
Interactivity, however, imposes very strict scalability requirements;
we are able to satisfy these requirements by providing real-time user
response even for large-scale ontologies. Finally, LogMap 2 implements
scalable reasoning and diagnosis algorithms, which minimise
any logical inconsistencies introduced by the matching process.
