Ontologies module of KR course


Dates of lectures

December 11, 13:30-17:30
December 17, 14-17
December 18, 14-16

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)

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

Recent textbook: The Web of Data, Aidan Hogan, 2020

Another textbook: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL, Dean Allemang and Jim Hendler, 2011

Slides about Semantic Web / knowledge graphs
Web of Data (Aidan Hogan, Univ. Chile)
Knowledge graphs (Markus Kroetzsch, TU Dresden)
Semantic Technologies (Michael Zakharyaschev, Birbeck College London)

Example ontologies: BioPortal, Protégé ontology library, Schema.org