Du, H., Nguyen, H. H., Alechina, N., Logan, B., Jackson, M., & Goodwin, J. Using qualitative spatial logic for validating crowd-sourced geospatial data. Presented at Innovative Applications of Artificial Intelligence (IAAI-15)