Return to Seminars

July 10, 10:30 AM, Guillaume Kihli-Perution (GraphIK)

July 10, 10:30 AM, Bat 5, 3.124 (and video-conference)
Titre : Optimisation de la matérialisation de bases de connaissances
Résumé :
Cet exposé présente les résultats obtenus à l’issue de mon stage de fin de master. Nous intéressons aux bases de connaissances dont la partie ontologique est décrite par des règles existentielles. Le chase est une procédure de chaînage avant (aussi appelée matérialisation) consistant en une application itérative des règles sur la base de faits pour produire des faits nouveaux jusqu’à obtention d’un point fixe. L’une des propriétés fondamentales du chase est qu’il calcule un modèle canonique de la base de connaissances qui suffit pour calculer les réponses à une requête conjonctive : les réponses à une telle requête sur le résultat du chase sont exactement les réponses à cette requête sur la base de connaissances. Néanmoins, le chase peut ne pas se terminer et il peut également produire des redondances. Plus les redondances sont évitées, plus le chase termine, mais détecter les redondances a un coût. De nombreuses variantes de chase ont été proposées dans la littérature, correspondant à différents compromis entre la puissance de détection des redondances et le coût du calcul du chase. Dans cet exposé, je présenterai un cadre commun à toutes ces variantes en décrivant le chase à l’aide d’opérateurs à combiner, ainsi que des résultats expérimentaux utilisant ce cadre.

Permanent link to this article: https://team.inria.fr/graphik/news-3/july-10-1030-am-guillaume-kihli-perution-graphik/