Four sessions: February 8, 9, 11, 12 from 9-12am
Course slides (last updated: February 12th)
Handout (for reference)
Install Protégé ontology editor
Pizza tutorial for learning Protégé (developed by University of Manchester): OWL file, tutorial guide
To see some example ontologies: BioPortal, Protégé ontology library, Schema.org
Additional resources on description logics and reasoning
Textbook: An Introduction to Description Logic, Baader, Horrocks, Lutz, Sattler, 2017
Slides with more details on reasoning algorithms and complexity: expressive DLs lightweight DLs
Survey chapter "Ontology-mediated query answering with data-tractable description logics" (Bienvenu & Ortiz, 2015)
Additional resources on Semantic Web and knowledge graphs
Check out slides of the following courses which cover the topic in more detail:
Web of Data (Aidan Hogan, Univ. Chile)
Knowledge graphs (Markus Kroetzsch, TU Dresden)
Semantic Technologies (Michael Zakharyaschev, Birbeck College London)
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