An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Article Dans Une Revue Lecture Notes in Computer Science Année : 2008

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

Résumé

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 et versions

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

Identifiants

Citer

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⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More