Théorie des bases de connaissances

Présentation

Ce module est consacré aux formalismes permettant de représenter une base de connaissances et d'effectuer des raisonnements sur ces connaissances, en se focalisant sur le problème d'interrogation de la base. Il s'intéresse aux aspects théoriques essentiellement. Il n'aborde pas les problèmes de modélisation, c'est-à-dire le passage d'un problème concret à une formalisation de ce problème.

Objectifs

Le principal problème étudié est l’interrogation de bases de connaissances en présence d’ontologie (OBDA) :

• Présentation du problème (adéquation/complétude, OWA/CWA…)

• complexité/expressivité de différents fragments de FOL (Datalog, DL…)

• Etude de l’extension de ces fragments à diverses sémantiques pour l’interrogation en présence d’incohérences (ASP…)

Pré-requis recommandés

Bases solides en logique des prédicats

Volume horaire

• CM : 13
• TD : 26
• TP : 0

Diplômes intégrant cette UE

• CURSUS MASTER EN INGENIERIE (CMI)
• MASTER MATHEMATIQUES
• MASTER INFORMATIQUE