Objectifs de l'enseignement :
Comprendre les formalismes logiques pour la représentation de la connaissance dans l'intelligence artificielle et leur application aux ontologies et au Web sémantique
Plan du cours
I. Rappels de logique propositionnelle
Syntaxe et sémantique, méthodes de déduction
II. Le problème de la représentation de connaissances dans plusieurs domaines de l'informatique
- Dans l'intelligence artificielle
- Dans le Web sémantique
- Dans d'autres contextes (conception de systèmes d'information)
III. Les Logiques de description
- Introduction aux Logiques de Description, (le langage ALCN), syntaxe et sémantique
- Définition de concepts, hiérarchies, bases de connaissance, TBOX et ABOX
- Services déductifs : inclusions entre concepts (subsumption), satisfiabilité, inférences concernant l'ABOX
- Algorithme déductif basé sur la méthode des tableaux
IV. Les ontologies et le langage OWL
- La notion d'ontologie dans le Web sémantique
- Le langage pour ontologies OWL et ses principaux dialectes (OWL Lite, OWL DL)
- Les langages des requêtes pour les ontologies et OWL (SPARQL DL)