Supporting Manual Mapping Revision using Logical Reasoning.

Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin

Browse the full AAAI paper archive.