Une ontologie constitue une représentation structurée des connaissances d'un domaine. Il s'agit de décrire des concepts de manière formelle de manière à pouvoir raisonner sur ces concepts à l'aide d'outils informatiques. Par exemple, les noms stockés dans la base lexicale WordNet peuvent être l'objet de relations telles que l'hyperonymie ou l'hyponymie. Ce cours visera à donner aux étudiants des connaissances sur les ontologies, leur fonctionnement et leur peuplement ainsi que les procédés d'ingénierie des connaissances qui y sont liés et les applications qui en sont tirées dans le domaine du web sémantique par exemple.
Avec le même objectif on peut représenter connaissances et ontologies dans des langages artificiels comme celui de la logique du 1er ordre. On étudiera donc la syntaxe, la sémantique et les techniques de démonstration automatiques de celle-ci.
- Enseignant: Samia Abderrahman
- Enseignant: François Olivier