Ontologies module of KR course


Slides, handouts, TDs / TPs

1: Introduction to Ontologies & Description Logics slides handout TD

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

3: Reasoning with Expressive DLs - Tableau algorithms slides handout TD

4: Reasoning with Lightweight DLs - Description logic EL slides handout TD

5: Reasoning with Lightweight DLs - Description logic DL-Lite slides handout

Projet

Soumission de fichier pour le 19 janvier, court entretien (visio possible) la semaine du 23-27 janvier

Possibilité de travailler en binôme, merci de m'informer si vous choissisez ce projet

Plus d'informations ici

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 / knowlege 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