Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
The Mereotopology of Discrete Space
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Predication Calculus for Qualitative Spatial Representations
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Algebras of Approximating Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
Stonian p-ortholattices: A new approach to the mereotopology RT0
Artificial Intelligence
On the Skeleton of Stonian p-Ortholattices
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Splitting atoms in relational algebras
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Topological representation of contact lattices
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Hi-index | 0.00 |
In this paper we investigate weak contact relations C on a lattice L, in particular, the relation between various axioms for contact, and their connection to the algebraic structure of the lattice. Furthermore, we will study a notion of orthogonality which is motivated by a weak contact relation in an inner product space. Although this is clearly a spatial application, we will show that, in case L is distributive and C satisfies the orthogonality condition, the only weak contact relation on L is the overlap relation; in particular no RCC model satisfies this condition.