Representations of topological relations between simple regions in description logics: from formalization to consistency checking
Représentation en logiques de description des relations topologiques entre régions simples : de la formalisation à la vérification de la cohérence.