A survey of qualitative spatial and temporal calculi: Algebraic and computational properties

Dylla, F; Lee, JH; Mossakowski, T; Schneider, T; Van Delden, A; Van De Ven, J; Wolter, D

A survey of qualitative spatial and temporal calculi: Algebraic and computational properties

Dylla, F Lee, JH

Mossakowski, T Schneider, T Van Delden, A Van De Ven, J Wolter, D

Permalink

Publication Type:: Journal Article
Citation:: ACM Computing Surveys, 2017, 50 (1)
Issue Date:: 2017-04-01

In Progress

	Filename	Description	Size
	79EA7C91-732D-434C-8F23-CE1003AE64A7 am.pdf	Accepted Manuscript Version	1.32 MB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is being processed and is not currently available.

Full metadata record

Field	Value	Language
dc.contributor.author	Dylla, F	en_US
dc.contributor.author	Lee, JH https://orcid.org/0000-0001-9840-780X	en_US
dc.contributor.author	Mossakowski, T	en_US
dc.contributor.author	Schneider, T	en_US
dc.contributor.author	Van Delden, A	en_US
dc.contributor.author	Van De Ven, J	en_US
dc.contributor.author	Wolter, D	en_US
dc.date.issued	2017-04-01	en_US
dc.identifier.citation	ACM Computing Surveys, 2017, 50 (1)	en_US
dc.identifier.issn	0360-0300	en_US
dc.identifier.uri	http://hdl.handle.net/10453/110805
dc.description.abstract	© 2017 ACM. Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques include 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 that now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.	en_US
dc.relation.ispartof	ACM Computing Surveys	en_US
dc.relation.isbasedon	10.1145/3038927	en_US
dc.subject.classification	Information Systems	en_US
dc.title	A survey of qualitative spatial and temporal calculi: Algebraic and computational properties	en_US
dc.type	Journal Article
utslib.citation.volume	1	en_US
utslib.citation.volume	50	en_US
utslib.for	08 Information and Computing Sciences	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
utslib.copyright.status	in_progress
pubs.issue	1	en_US
pubs.publication-status	Published	en_US
pubs.volume	50	en_US

Abstract:

© 2017 ACM. Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques include 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 that now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/110805