M2 course "Knowledge Representation", 2025-2026


Planned course schedule

September: Fri 19 8:50-10:50, Mon 22 10:15-12:15

October: Fri 3 9:10-12:40, Fri 10 9:10-12:40, Thurs 16 10:15-12:15 & 14:00-15:30,
Mon 20 9:30-12:30, Fri 24 9:10-12:40

November: Fri 7 9:10-12:40, Fri 14 9:10-12:40, Tues 18 8:30-12:30 (Loïc),
Thurs 27 8:30-12:30 (Loïc)

December: Tues 2 8:30-12:30 (Loïc), Mon 8 8:30-12:30 (Loïc), Wed 10 8:30-12:30

Project presentations: Wed 3 9:00-12:30 (timeslots communicated by email)

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 Handling slides handout TD

Quizzes (CC)

Dates of quizzes (start of lecture): Fri Oct 10, Fri Oct 24, Fri Nov 14

Project (CC)

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

Deadline for submitting ontology file: Wed Nov 26

Brief presentation & question session for each group on Wed Dec 3 (timeslots communicated by email)

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