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