Mereotopological relations, such as contact, parthood and overlap, are central for representing spatial information qualitatively. While most existing mereotopological theories restrict models to entities of equal dimension (e.g., all are 2D regions), multidimensional mereotopologies are more flexible by allowing entities of different dimensions to co-exist. In many respects, they generalize traditional spatial data models based on geometric entities (points, simple lines, polylines, cells, polygon, and polyhedra) and algebraic topology that power much of the existing spatial information systems (e.g., GIS, CAD, and CAM). Geometric representations can typically be decomposed into atomic entities using set intersection and complementation operations, with non-atomic entities represented as sets of atomic ones. This paper accomplishes this for CODI, a first-order logic ontology of multidimensional mereotopology, by extending its axiomatization with the mereological closure operations intersection and difference that apply to pairs of regions regardless of their dimensions. We further prove that the extended theory satisfies important mereological principles and preserves many of the mathematical properties of set intersection and set difference.
This decomposition addresses implementation concerns about the ontology CODI by offering a simple mechanism for determining the mereotopological relations between complex spatial entities, similar to the operations used in algebraic topological structures. It further underlines that CODI accommodates both quantitative/geometric and qualitative spatial knowledge.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com