So, whether it is possible to compute the set of models of a given drawing is an empirical question.
reiter's system employs a constraint satisfaction algorithm to find all possible interpretations of maps, and the output of his system is a set of labels for such as "river", "road", or "shore" for curves or chains, and "land region" or "water region" for areas.