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