Description Logics module of LoLa course


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 )