Weak Contact Structures
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.
Unable to display preview. Download preview PDF.
- 1.Cohn, A.G., Varzi, A.: Connection relations in mereotopology. In: Prade, H. (ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), pp. 150–154. John Wiley & Sons, Chichester (1998)Google Scholar
- 4.Düntsch, I., Wang, H., McCloskey, S.: Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae, 229–248 (2000)Google Scholar
- 7.Eschenbach, C.: A predication calculus for qualitative spatial representation. In: , pp. 157–172Google Scholar
- 8.Freksa, C., Mark, D.M. (eds.): COSIT 1999. LNCS, vol. 1661. Springer, Heidelberg (1999)Google Scholar
- 9.Galton, A.: The mereotopology of discrete space. In: , pp. 251–266Google Scholar
- 11.Leśniewski, S.: O podstawach matematyki, 30–34 (1927–1931)Google Scholar
- 12.Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: A challenge for automated theorem provers. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 786–790. Springer, Heidelberg (1992)Google Scholar