Skip to Main content Skip to Navigation
Conference papers

DL based automated consistency checking of spatial relationships

Abstract : 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.).
Document type :
Conference papers
Complete list of metadata
Contributor : Migration Irstea Publications <>
Submitted on : Friday, May 15, 2020 - 5:33:44 PM
Last modification on : Thursday, October 22, 2020 - 11:30:08 AM


  • HAL Id : hal-02593688, version 1
  • IRSTEA : PUB00029632



Catherine Roussey, François Pinet. DL based automated consistency checking of spatial relationships. SAGEO'10 (Spatial Analysis and GEOmatics 2010), Conférence internationale de Géomatique et Analyse Spatiale, Nov 2010, Toulouse, France. pp.306-320. ⟨hal-02593688⟩



Record views