DAMSEL: A System for Progressive Querying and Reasoning on Movement Data | IEEE Conference Publication | IEEE Xplore