Implémentation d'un raisonnement spatial qualitatif sur les relations RCC8 au moyen de OWL et de SWRL
Abstract
La théorie des relations topologiques RCC (Region Connection Calculus) et en particulier son sous-ensemble RCC8, ont été largement utilisés dans le cadre du raisonnement spatial qualitatif. Divers ensembles de primitives de calcul, dont l'ensemble CM8, ont ensuite été proposés afin de permettre une implémentation des relations RCC8 dans le contexte de la reconnaissance d'images. Dans cet article, nous proposons une représentation réifiée des relations spatiales RCC8 et des primitives de calcul CM8 au sein d'un treillis de concepts implémenté en OWL (Web Ontology Language). Notre approche permet une représentation 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 rôles. En effet, OWL ne permet pas l'expression des conjonctions ou des disjonctions de rôles. Nous pouvons alors implémenter un raisonnement sur les relations RCC8, qui permet en particulier de calculer la table de composition et sa fermeture transitive. La réification des rôles entraîne cependant la perte des propriétés qui leur sont associées en OWL, telles que les propriétés des relations inverses, symétriques ou transitives. Nous rétablissons explicitement ces propriétés sous forme de règles SWRL (Semantic Web Rule Language).
Domains
Artificial Intelligence [cs.AI]Origin | Publisher files allowed on an open archive |
---|
Loading...