Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: FOIS 2018
Guest editors: Stefano Borgo, Pascal Hitzler and Cogan Shimizu
Article type: Research Article
Authors: Hahmann, Torsten; *
Affiliations: Spatial Informatics, School of Computing and Information Science, University of Maine, Orono, ME 04469, USA. E-mail: torsten@spatial.maine.edu
Correspondence: [*] Corresponding author. E-mail: torsten@spatial.maine.edu.
Note: [] Accepted by: Stefano Borgo, Cogan Matthew Shimizu and Pascal Hitzler
Abstract: Geometric data models form the backbone of virtually all spatial information systems, such as GIS, CAD, and CAM. Yet a lot of spatial information from textual sources, including historical documents or social media, is predominantly of qualitative, especially mereotopological, rather than geometric-quantitative nature. While mereotopological theories have been extensively studied in Logic, Computer Science, Cognitive Science, and Geographic Information Science, most are unidimensional mereotopologies in the sense that only entities of a single dimension are permitted to co-exist. Integrating mereotopological information with geometric data requires a multidimensional mereotopology, which permits entities of different dimensions to co-exist, similarly to how geometric and algebraic topological data models permit points, simple lines, polylines, cells, polygons, and polyhedra to co-exist. It further requires complex spatial objects to be represented as sets of atomic entities such that spatial relations between complex objects can be computed from the relations of the atomic entities in their decomposition. This paper provides a comprehensive study of CODI, a first-order logic ontology of multidimensional mereotopology. An axiomatization of mereological closure operations of intersection, difference, and sums for CODI is proposed in which these operations apply to all pairs of spatial entities regardless of their dimension. It is proved that for atomic models – and thus all finite models – the extended theory is indeed able to decompose all spatial entities into a partition of atomic parts. A full representation of the models as sets of Boolean algebras verifies this. The closure operations are further shown to satisfy important mereological principles from unidimensional mereotopology and to preserve many of the mathematical properties of set intersection and set difference.
Keywords: Spatial ontology, qualitative spatial reasoning, mereotopology, topological relations, geometric data models, GIS, first-order logic, supplementation principle
DOI: 10.3233/AO-200233
Journal: Applied Ontology, vol. 15, no. 3, pp. 251-311, 2020
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl