Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/TKDE.2007.1046 | IEEE Trans. Knowl. Data Eng. |
Keywords | Field | DocType |
spatial databases and gis,common-sense reasoning,composition operator,uniform manner,directional relation,spatial reasoning,cognitive systems,interesting problem,proposed family,extended objects,cone-based directional relations,qualitative spatial reasoning,expressive model,directional relation models,cognitive plausible cone-based model,inverse and composition operators.,formal framework,existential composition,relational model,robots,lenses,computational modeling,spatial database,common sense reasoning,indexing terms,computer science,navigation | Inverse,Data mining,Spatial intelligence,Intelligent decision support system,Computer science,Commonsense reasoning,Composition operator,Inverse problem,Artificial intelligence,Formal methods,Machine learning,Spatial database | Journal |
Volume | Issue | ISSN |
19 | 8 | 1041-4347 |
Citations | PageRank | References |
17 | 1.06 | 27 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Spiros Skiadopoulos | 1 | 1139 | 65.60 |
Nikos Sarkas | 2 | 194 | 11.71 |
Timos K. Sellis | 3 | 4970 | 1255.07 |
Manolis Koubarakis | 4 | 2790 | 322.32 |