M2 course "Knowledge Representation", 2024-2025


Slides, handouts, TDs, TPs

1: Introduction to Ontologies & Description Logics slides handout TD

2: OWL, Protégé, Ontology Construction slides handout TP

3: Expressive DLs, Tableau Algorithms slides handout TD

4: Lightweight DLs (EL and DL-Lite) slides handout (EL) handout (DL-Lite) TD

5: Inconsistency-Tolerant Semantics slides handout TD solutions

Quizzes (CC)

Dates of quizzes (start of lecture): November 22 (on Unit 1), December 4 (Unit 3), December 12 (Unit 4 - EL), December 20 (Unit 4 - DL-Lite)

Project (CC)

Ontology creation project, to be done with a partner (binôme)

Submit ontology file by December 16

Brief presentation & question session scheduled on December 19

More details here

Protégé Installation and Tutorials

Install Protégé ontology editor

Pizza tutorial for learning Protégé (developed by University of Manchester):
OWL file, tutorial guide

Short tutorial on Protégé (in French) link

OWL 2 Primer: link

Ontop plugin for querying data: setup + tutorial

Additional resources

Textbook: An Introduction to Description Logic, Baader, Horrocks, Lutz, Sattler, 2017

Example ontologies: BioPortal repository, CommonCore ontologies, Schema.org