Issue No. 08 - August (2007 vol. 19)
Spiros Skiadopoulos , Department of Computer Science and Technology, University of Peloponnese, Tripoli, Hellas
Nikos Sarkas , Department of Computer Science, University of Toronto, Toronto, ON, Canada
Timos Sellis , School of Electrical and Computer Engineering, Computer Science Division, National Technical University of Athens, Zographou, Athens, Hellas
Manolis Koubarakis , Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Panepistimiopolis, Ilisia, Athens, Greece
In this paper, we introduce a family of expressive models for qualitative spatial reasoning with directions. The proposed family is based on the cognitive plausible cone-based model. We formally define the directional relations that can be expressed in each model of the family. Then, we use our formal framework to study two interesting problems: computing the inverse of a directional relation and composing two directional relations. For the composition operator, in particular, we concentrate on two commonly used definitions, namely, consistency-based and existential composition. Our formal framework allows us to prove that our solutions are correct. The presented solutions are handled in a uniform manner and apply to all of the models of the family.
Geographic Information Systems, Artificial intelligence, Multimedia databases, Computer Society, Spatial databases, Intelligent systems, Deductive databases, Intelligent structures, Multimedia systems
S. Skiadopoulos, N. Sarkas, T. Sellis and M. Koubarakis, "A Family of Directional Relation Models for Extended Objects," in IEEE Transactions on Knowledge & Data Engineering, vol. 19, no. 8, pp. 1116-1130, 2007.