DL based automated consistency checking of spatial relationships
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.).