Utilisation des logiques de descriptions pour la représentation des structures spatiales
Résumé
Dans le cadre du développement d'un système à bases de connaissances pour l'analyse des organisations spatiales et fonctionnelles des exploitations agricoles, nous avons choisi d'utiliser le formalisme des logiques de descriptions (LD). Ce formalisme permet en effet de représenter et de manipuler des structures complexes. Dans notre système, les organisations spatiales des exploitations sont modélisées par des graphes, dont les sommets sont les relations spatiales et les entités spatiales importantes des exploitations. Dans le formalisme des LD, les sommets des graphes sont représentés par des instances rattachées à des concepts décrivant leurs caractéristiques. Les arêtes des graphes sont représentées par des rôles. Le mécanisme de classification permet de comparer des instances ou des concepts les uns aux autres, mais il est insuffisant pour comparer des graphes complets. Un des objectifs de notre travail est ainsi de développer une extension du formalisme des LD permettant de dépasser ces limitations en offrant des mécanismes de classification de graphes.