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.5
- TD : 25.5
- 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)
Composante
Faculté des Sciences