Du, H.; Nguyen, H.; Alechina, N.; Logan, B.; Jackson, M.; Goodwin, J. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI 2015, 29, 3948-3953.