A logical calculus based a method is compared with topological relation of 4 Intersection Model (4-IM) of spatial regions. The first result of this paper is answer of the following question: what is the smallest formula represents the four intersection model?. The second main result, as an algebraic view, under certain conditions, the family of all relations from 9-IM using the 4-IM of two closed regions A and B are obtained.
Digital Object Identifier (DOI)
Atallah, Mohammad and El-Mohsen Badawy, Abd
"On the Calculus of Spatial Relations,"
Applied Mathematics & Information Sciences: Vol. 11:
1, Article 32.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol11/iss1/32