Composing cardinal direction relations

Skiadopoulos, S; Koubarakis, M

dc.contributor.author	Skiadopoulos, S	en
dc.contributor.author	Koubarakis, M	en
dc.date.accessioned	2014-03-01T01:20:01Z
dc.date.available	2014-03-01T01:20:01Z
dc.date.issued	2004	en
dc.identifier.issn	0004-3702	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/15813
dc.subject	Cardinal direction relations	en
dc.subject	Composition table	en
dc.subject	Consistency-based composition	en
dc.subject	Existential composition	en
dc.subject	Qualitative spatial reasoning	en
dc.subject	Spatial constraints	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.other	Algorithms	en
dc.subject.other	Composition	en
dc.subject.other	Constraint theory	en
dc.subject.other	Mathematical models	en
dc.subject.other	Composition tables	en
dc.subject.other	Qualitative spatial reasoning	en
dc.subject.other	Spatial constraints	en
dc.subject.other	Artificial intelligence	en
dc.title	Composing cardinal direction relations	en
heal.type	journalArticle	en
heal.identifier.primary	10.1016/S0004-3702(03)00137-1	en
heal.identifier.secondary	http://dx.doi.org/10.1016/S0004-3702(03)00137-1	en
heal.language	English	en
heal.publicationDate	2004	en
heal.abstract	We study the recent proposal of Goyal and Egenhofer who presented a model for qualitative spatial reasoning about cardinal directions. Our approach is formal and complements the presentation of Goyal and Egenhofer. We focus our efforts on the composition operator for two cardinal direction relations. We consider two interpretations of the composition operator: consistency-based and existential composition. We point out that the only published method to compute the consistency-based composition does not always work correctly. Then, we consider progressively more expressive classes of cardinal direction relations and give consistency-based composition algorithms for these classes. Our theoretical framework allows us to prove formally that our algorithms are correct. When we consider existential composition, we demonstrate that the binary relation resulting from the composition of two cardinal direction relations cannot be expressed using the relations defined by Goyal and Egenhofer. Finally, we discuss some extensions to the basic model and consider the composition problem for these extensions. (C) 2003 Elsevier B.V. All rights reserved.	en
heal.publisher	ELSEVIER SCIENCE BV	en
heal.journalName	Artificial Intelligence	en
dc.identifier.doi	10.1016/S0004-3702(03)00137-1	en
dc.identifier.isi	ISI:000188084900001	en
dc.identifier.volume	152	en
dc.identifier.issue	2	en
dc.identifier.spage	143	en
dc.identifier.epage	171	en