DL based automated consistency checking of spatial relationships
Détection automatique d'incohérences spatiales à partir de logiques de description
Résumé
In using integrity constraints, one can specify the relations allowed between spatial objects of databases. In this context, the control of the consistency of a set of spatial relations is an interesting issue. This control aims at checking if all the spatial relations specified in integrity constraints by users are compatible. In this paper, we propose a new method based on Description Logics (DL) to identify inconsistencies in RCC8 relations. We propose to use traditional DIG reasoners to reach this goal. The DL specifications proposed in this paper can be extended in order to allow checking consistency between different types of spatial objects (composite regions, complex regions, etc.).
Les contraintes d'intégrité spatiales permettent de spécifier les relations autorisées entre des objets spatiaux des bases de données. Dans ce contexte, il est nécessaire de vérifier la cohérence d'un jeu de relations spatiales. Ce contrôle permet de détecter si des relations spatiales spécifiés dans les contraintes d'intégrité par des utilisateurs sont incompatibles. Cet article propose une nouvelle méthode de détection d'incohérences spatiales basée sur des traductions en Logiques de Description (LD) des relations RCC8 entre objets spatiaux. Nous proposons d'utiliser un moteur d'inférence LD traditionnel pour vérifier la cohérence d'un ensemble de relations RCC8. Les traductions LD proposées dans cet article pourront être étendues pour vérifier la cohérence entre des types évolués d'objets spatiaux (les régions composites, les régions complexes, etc)