A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Abstract
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods, which now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.
Keywords
Cite
@article{arxiv.1606.00133,
title = {A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties},
author = {Frank Dylla and Jae Hee Lee and Till Mossakowski and Thomas Schneider and André Van Delden and Jasper Van De Ven and Diedrich Wolter},
journal= {arXiv preprint arXiv:1606.00133},
year = {2016}
}
Comments
Submitted to ACM Computing Surveys