| HAL : hal-00454472, version 1 |
| CEMOA : http://cemadoc.cemagref.fr/cemoa/PUB00024873 |
| Fiche détaillée | Récupérer au format |
|
|
| Lecture notes in computer science 5231 (2008) p. 383 - p. 396 |
|
|
|
|
| An adverbial approach for the formal specification of topological constraints involving regions with broad boundaries |
|
|
| L. Bejaoui 1F. Pinet 2 |
|
|
| (2008) |
|
|
| Topological integrity constraints control the topological properties of spatial objects and the validity of their topological relationships in spatial databases. 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 geometric 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. |
|
|
|
|
|
|
|
|
|
|
| 1 : | Territoires, environnement, télédétection et information spatiale (UMR TETIS) |
| CIRAD : UMR91 – CEMAGREF-UR LCMO – Ecole Nationale du Génie Rural des Eaux et Forêts | |
| 2 : | Laboratoire de robotique |
| Université Laval | |
| 3 : | Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS) |
| CNRS : UMR6158 – Université d'Auvergne - Clermont-Ferrand I – Université Blaise Pascal - Clermont-Ferrand II – Institut Français de Mécanique Avancée | |
| 4 : | Centre de recherche en géomatique |
| Université Laval | |
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et langage Sciences cognitives/Informatique Informatique/Base de données Sciences de l'Homme et Société/Géographie Informatique/Génie logiciel Informatique/Logique en informatique Sciences de l'environnement |
|
|
| BASE DE DONNEES – EPANDAGE – TOPOLOGIE – SYSTEME D'INFORMATION GEOGRAPHIQUE |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|
|
| hal-00454472, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00454472/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00454472_v1 | |
| Contributeur : Import WS Cemagref | |
| Déposé pour le compte de : | |
| Soumis le : Lundi 8 Février 2010, 15:58:19 | |
| Dernière modification le : Lundi 8 Février 2010, 16:20:50 | |