Logic-based Ontology Engineering
Master Computational Logic (MCL-ILS)
Master Informatik, Diplom Informatik (INF-BAS6, INF-VERT6, INF-PM-FOR)
Bachelor Informatik (INF-B-510, INF-B-520)
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.