Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox. A multitude of calculi for qualitative spatial reasoning (QSR) have been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are only partially specified and implementations are rarely available. With the SparQ toolbox presented in this text, we seek to improve this situation by making common calculi and standard reasoning techniques accessible in a way that allows for easy integration into applications. We hope to turn this into a community effort and encourage researchers to incorporate their calculi into SparQ. This text is intended to present SparQ to potential users and contributors and to provide an overview on its features and utilization.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till: A condensed semantics for qualitative spatial reasoning about oriented straight line segments (2011)