Implémentation d'un raisonnement spatial qualitatif sur les relations RCC8 au moyen de OWL et de SWRL

La theorie des relations topologiques RCC (Region Connection Calculus) et en particulier son sous-ensemble RCC8, ont ete largement utilises dans le cadre du raisonnement spatial qualitatif. Divers ensembles de primitives de calcul, dont l'ensemble CM8, ont ensuite ete proposes afin de permettre une implementation des relations RCC8 dans le contexte de la reconnaissance d'images. Dans cet article, nous proposons une representation reifiee des relations spatiales RCC8 et des primitives de calcul CM8 au sein d'un treillis de concepts implemente en OWL (Web Ontology Language). Notre approche permet une representation directe des concepts correspondant aux conjonctions ou aux disjonctions des relations RCC8, et offre ainsi l'avantage de pallier les lacunes des approches existantes en OWL, qui expriment les relations spatiales sous forme de roles. En effet, OWL ne permet pas l'expression des conjonctions ou des disjonctions de roles. Nous pouvons alors implementer un raisonnement sur les relations RCC8, qui permet en particulier de calculer la table de composition et sa fermeture transitive. La reification des roles entraine cependant la perte des proprietes qui leur sont associees en OWL, telles que les proprietes des relations inverses, symetriques ou transitives. Nous retablissons explicitement ces proprietes sous forme de regles SWRL (Semantic Web Rule Language).