Logic-Based Ontology Engineering [beendet]
Lecturer: Dr.-Ing. Stefan Borgwardt
Tutorials: PD Anni-Yasmin Turhan
Ontologies are important tools for structuring the working knowledge of an application domain. They are used to build 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. Based on a formalization in description logics, a multitude of logic-based techniques have been developed to support ontology engineers throughout the ontology life cycle. We will discuss a few of them in detail.
It is expected that students are acquainted with first-order logic. Knowledge of Description Logics and the Semantic Web are helpful, but not required.
SWS/Modules/Exams
The lecture comprises 4 SWS (2/2/-). It is offered for the modules MCL-ILS, INF-BAS6, INF-VERT6, INF-PM-FOR, INF-B-510, and INF-B-520.
Students of Computational Logic have to take a written exam of 120 minutes on this course, together with the course 'Deduction Systems'. All other students take an oral exam according to the description of the module they want to use this course for.
Repeat Exam in the Winter Semester
The second opportunity to take the exam for "Integrated Logic Systems" is on 11.02.2020 from 10:00 to 12:00 in room APB/E010.
On 7.02.2020 starting at 13:00 in room APB/3027 students again have the opportunity to ask questions about the material of the lecture and exercises.
Written Exam "Integrated Logic Systems"
The exam will take place on 18.07.2019 from 9:00 to 11:00 in room APB/E005. Students should register with SCIS for the exam.
On 16.07.2019 from 13:00 to 15:00 in room APB/3027 students will have the opportunity to ask questions about the material of the lecture and exercises in preparation for the exam.
Organization
The lectures and tutorials take place in room APB/E005 on Wednesdays 9:20–10:50 (2. DS) and Thursdays 13:00–14:30 (4. DS). The distribution of lectures and tutorials can be found in the table below. You can also subscribe to the calendar on this page. During the semester, there may be changes to the schedule on short notice. Be sure to check this page regularly for updates.
Exercise sheets will be made available on this page approximately one week before each tutorial. For the practical assignments, students are expected to bring their own laptops to run the required programs (see below).
Schedule
| Week | Wednesday, 2. DS | Thursday, 4. DS |
|---|---|---|
| April 1–5 | Lecture, moved to Friday, 6. DS |
Lecture |
| April 8–12 | Tutorial | Lecture |
| April 15–19 | Tutorial | Lecture |
| April 22–26 | Tutorial | Lecture |
| April 29 – May 3 | — holiday — | Lecture |
| May 6–10 | Tutorial | Lecture |
| May 13–17 | Tutorial | Lecture |
| May 20–24 | — dies academicus — | Lecture |
| May 27–31 | Tutorial | — holiday — |
| June 3–6 | Tutorial | Lecture |
| June 10–14 | — pentecost — | |
| June 17–21 | Tutorial, moved to June 7, 4. DS |
Lecture, moved to June 21, 4. DS |
| June 24–28 | Tutorial | Lecture |
| July 1–5 | Tutorial | Lecture |
| July 8–12 | Tutorial | Tutorial |
Installing Protégé and Plugins
For some practical exercises, the Java-based ontology editor Protégé is used. Students should install Protégé Desktop version 5.2.0 from the web page before attending the tutorials. The tutorials include an introduction to working with Protégé. Additional documentation and support can be found here.
For some of the exercises, additional plugins need to be installed in Protégé. Some of them can be downloaded from within Protégé under "File" -> "Check for plugins...". Others need to be installed manually, by copying the downloaded jar file into the plugins directory below the directory where Protégé is installed (and restarting Protégé). In Mac OS, the plugins folder is hidden in the Protégé.app bundle, and can be opened in Finder by right-clicking on Protégé.app, selecting "Show Package Contents", and navigating to "Contents" -> "Java" -> "plugins".
A plugin typically provides an additional Reasoner, View, or Tab for Protégé, which can be enabled under "Reasoner" and "Window" -> "Views"/"Tabs". Here is a list of plugins that are used in the tutorials: