A graph-based method for interactive mapping revision in DL-Lite. (January 2023)