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