Integrity constraints for probabilistic spatio-temporal knowledgebases

We formally introduce integrity constraints for probabilistic spatiotemporal knowledgebases. We start by defining the syntax and semantics of PST knowledgebases. This definition generalizes the SPOT framework which is a declarative framework for the representation and processing of probabilistic spatio-temporal data where probability is represented as an interval because of uncertainty. We augment the previous definition by adding a type of non-atomic formula that expresses integrity constraints. The result is a highly expressive formalism for knowledge representation dealing with probabilistic spatio-temporal data. Our main results concern the complexity of checking the consistency of PST knowledgebases.