Logic-Based Ontology Engineering

Inhaltsverzeichnis

      1. Course Description
      2. Exam
      3. Organization
      4. Schedule
      5. Installing Protégé and Plug-ins
      6. Lecture Material
      7. SWS/Modules/Exams
      8. Literature

Lecturer: Dr.-Ing. Stefan Borgwardt
Tutorials: PD Anni-Yasmin Turhan

Course Description

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 well acquainted with first-order logic. Knowledge of Description Logics and the Semantic Web are helpful, but not required.

Exam

The written exam for the Computational Logic module MCL-ILS (Integrated Logic Systems) will take place on 31 July 2018 in room APB/E005 at 10:00–12:00. Students should register with SCIS for the exam.

In the last tutorial session on 18 July, 13:00–14:30, students can ask questions regarding the lecture and the exam preparations.

Organization

The lectures and tutorials take place in room APB/E005 on Wednesdays 9:20–10:50 (2. DS) and 13:00–14:30 (4. DS). The distribution of lectures and tutorials can be found in the table below. During the semester, there may be changes to this 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

Date 2. DS 4. DS
11 April Lecture Lecture
18 April

Tutorial 1

Lecture
25 April Tutorial 2 Lecture
2 May Tutorial 3 Lecture
9 May

Tutorial 4
Ontology for exercise 4.4

Lecture
16 May

Tutorial 5

Lecture
23 May — (Pentecost) —
30 May Tutorial 6
Ontology for exercise 6.2
Lecture
6 June — (Dies Academicus) — Tutorial in room APB/3027
13 June

Tutorial 7

Lecture
20 June Tutorial 8 Lecture
27 June

Tutorial 9

Lecture
4 July

Tutorial 10

Lecture moved to 29 June, APB/E005, 13:00–14:30
11 July Lecture Tutorial 11
18 July Lecture Tutorial 12 / Question Session

Installing Protégé and Plug-ins

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é). On a Mac, 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:

Lecture Material

The lecture slides will be made available here:

SWS/Modules/Exams

The lecture comprises 4 SWS (2/2/-). It is offered as part of the following modules:

  • Master Computational Logic:
    MCL-ILS (written exam, together with Deduction Systems, 120 minutes)
    The lecture is mandatory for this module.
  • Master InformatikDiplom Informatik:
    INF-BAS6 (oral module exam over 8 SWS, 30 minutes)
    INF-VERT6 (oral module exam over 10 SWS, 40 minutes)
    INF-PM-FOR (literature research and oral exam, 15 minutes)
    Please contact us at the beginning of the semester if you plan to visit the lecture as part of the module INF-PM-FOR.
  • Bachelor Informatik:
    INF-B-510 or INF-B-520 (oral exam, 20 minutes)

Literature

Introduction to Ontology Engineering, OWL 2, and Description Logics

Ontology Creation

Ontology Integration

Ontology Maintenance

Zu dieser Seite

Stefan Borgwardt
Letzte Änderung: 14.07.2018