Supporting Manual Mapping Revision using Logical Reasoning