Théorie des bases de connaissances

Vous êtes ici :

Théorie des bases de connaissancesCode de l'UE : HMIN312M

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

En bref

Crédits ECTS 5

Période de l'année
S3

Langue d'enseignement
fr

Contact(s)

Contact(s) administratif(s)

Marie-laure MUGNIER (marie-laure.mugnier @ umontpellier.fr)

Jean-Francois BAGET (jean-francois.baget @ umontpellier.fr)