Slides, handouts, TDs
1: Introduction to Ontologies & Description Logics
slides
handout
TD
2: Reasoning with Expressive DLs - Tableau algorithms (updated: Oct. 3)
slides
handout
TD
3: Reasoning with Lightweight DLs - Logic EL (corrected: Oct. 28 - typo slide 9)
slides
handout
TD
4: Reasoning with Lightweight DLs - DL-Lite (longer version posted: Dec. 5)
slides
handout
TD
5: Inconsistency-Tolerant Query Answering (posted: Dec. 2)
slides
handout
TD
solutions
6: Ontologies in Practice - OWL and Protégé
handout
TP
OWL file
tutorial guide
Protégé ontology editor
Devoir maison, date limite : vendredi 2 décembre, 10h15
(correction dans Exercise 1(c) : 11 novembre )