2016/06/01 by Frank Dylla, Jae Hee Lee, Dylla, Frank +11
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Data Management and Algorithms #FOS: Computer and information sciences #I.2.4 #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.1606.00133
openalex publication_date 2016/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.