Grant, Minker, 2001. A logic-based approach to data integration.