Given a target schema in which instances have been mapped from a source schema, an inverse schema mapping system generates an instance of a target relation for each of a plurality of target relations in the target schema, chases the target relation using a schema mapping to generate a plurality of target relations for the source schema, and then generates an inverse schema mapping, if one exists, that maps the instances of the target schema to the instances of the source schema.