A formal definition of binary topological relationships
3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
An incremental concept formation approach for learning from databases
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Latticial structures in data analysis
Theoretical Computer Science
A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes
IEA/AIE '98 Proceedings of the 11th international conference on Industrial and engineering applications of artificial intelligence and expert systems: methodology and tools in knowledge-based systems
Topological Relations Between Regions in R² and Z²
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Software engineering for pervasive services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
Handling spatial relations in logical concept analysis to explore geographical data
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
First elements on knowledge discovery guided by domain knowledge (KDDK)
CLA'06 Proceedings of the 4th international conference on Concept lattices and their applications
Hi-index | 0.00 |
This paper presents the construction and the comparison of Galois lattices of topological relations for qualitative spatial representation and reasoning. The lattices rely on a correspondence between computational operations working on quantitative data, on the one hand, and topological relations working on qualitative knowledge units, on the other hand. After introducing the context of the present research work, i.e. the RCC-8 model of topological relations, we present computational operations for checking topological relations on spatial regions. From these operations are derived two sets of computational conditions that can be associated to topological relations through a Galois connection. The associated Galois lattices are presented and compared. Elements on the practical use of the lattices for representing spatial knowledge and for reasoning are also introduced and discussed.