Logic-Based Ontology Engineering [beendet]

Lecturer: Dr.-Ing. Stefan Borgwardt
Tutorials: Dr. Patrick Koopmann

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 is helpful, but not required.