A framework for knowledge-based map interpretation