Improving automatically created mappings using logical reasoning