An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries - Archive ouverte HAL Access content directly
Journal Articles Lecture Notes in Computer Science Year : 2008

An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries

(1, 2, 3) , (1, 4) , (5, 3) , (2)
1
2
3
4
5

Abstract

Topological integrity constraints control the topological properties of spatial objects and the validity of their topological relationships in spatial data-bases. These constraints can be specified by using formal languages such as the spatial extension of the Object Constraint Language (OCL). Spatial OCL allows the expression of topological constraints involving crisp spatial objects. However, topological constraints involving spatial objects with vague shapes (e.g., regions with broad boundaries) are not supported by this language. Shape vagueness requires using appropriate topological operators (e.g., strongly Disjoint, fairly Meet) to specify valid relations between these objects; otherwise, the constraints cannot be respected. This paper addresses the problem of the lack of terminology to express topological constraints involving regions with broad boundaries. We propose an extension of Spatial OCL based on a geoemtric model for objects with vague shapes and an adverbial approach for topological relations between regions with broad boundaries. This extension of Spatial OCL is then tested on an agricultural database.

Dates and versions

hal-03752571 , version 1 (17-08-2022)

Identifiers

Cite

Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard. An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries. Lecture Notes in Computer Science, 2008, 5231, pp.383-396. ⟨10.1007/978-3-540-87877-3_28⟩. ⟨hal-03752571⟩
13 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More