Synthetic dataset for indoor spatial query evaluation

The dataset used in this paper is a synthetic dataset for indoor spatial query evaluation, containing 6 components: true trace generator, raw reading generator, Bayesian filter module, symbolic model module, ground truth query evaluation, and performance evaluation module.