Logic-Based Ontology Engineering (WiSe 2024/25)
Description
Ontologies are tools for structuring the working knowledge of an application domain. They are used for building automated systems that support human domain experts, such as medical practitioners, engineers, and business analysts. Ontology Engineering describes a collection of techniques that support the whole ontology life cycle: the creation of an ontology, forming links with other ontologies, ontology updates, and repairing the ontology.
This lecture introduces students to the field of ontology engineering, from the point of view of the standard ontology language OWL 2, as well as its underlying formalization in description logics. Specifically, we will study different techniques that support ontology-engineers throughout the ontology lifecycle. The lecture is accompanied by theoretical and hands-on exercises using the ontology editor Protégé.
It is expected that students are acquainted with first-order logic. Knowledge of description logics and the semantic web is helpful, but not required.
Organization
The lecture will be given by Stefan Borgwardt and take place on Wednesdays 9:20–10:50 in room APB/E005. The lecture slides will be available one week before each lecture. Additionally, there is a quiz to test your knowledge and old lecture videos from the summer semester 2021 will be made available.
The tutorials will be given by Oliver Fernández Gil and Alisa Kovtunova and take place on Wednesdays 13:00–14:30 in room APB/E005. The exercise sheets will be available one week before each tutorial. Model solutions for the theoretical exercises will be made available one week after each tutorial. Additionally, there will be practical exercises where you will develop an ontology using the ontology editor Protégé (see here). You will need to bring your own laptop for these exercises and will work in groups of 2–3 students. The groups will be formed during the first tutorial and should remain stable throughout the semester. Please contact us if your group changes, e.g. due to students leaving the course.
Schedule
- In the first week, there will be two lectures on October 16th.
- The tutorials will start in the second week, on October 23rd.
- There will be no meetings on November 20th (Penance Day), December 25th (Christmas) and January 1st (New Year's Day).
- On December 4th there will be two lectures, and on December 11th there will be two tutorials.
SWS/Modules
SWS: 2/2/0
This course can be used in the following modules:
- Bachelor Informatik: INF-B-510, INF-B-520
- Master/Diplom Informatik: INF-BAS2, INF-VERT2, INF‑BAS6, INF‑VERT6, INF‑PM‑FOR, INF-PM-ANW
- Master Computational Modeling and Simulation: CMS-LM-AI, CMS-LM-ADV
- Diplom Informationssystemtechnik: INF-BAS2, INF-VERT2
- Master Computational Logic: MCL‑ILS
Exams
You need to register for oral exams in Selma before January 21st. To schedule the exam, please contact Kerstin Achtruth or the (secretary of the) other examiner immediately after registering (do not wait for confirmation from the examination office).