Seminar Künstliche Intelligenz (64072/64413) "Description Logics"

Kurzbeschreibung:

Beschreibungslogiken bilden die theoretische Grundlage für Ontologiesprachen in Ontologiesystemen, die vielfältige Anwendungen finden, beispielsweise in Medizin, Biologie, Geodaten, Ingenieurwesen und der chemischen Industrie. In diesem Seminar konzentriert sich jeder Studierende auf einen spezifischen Aspekt der Theorie der Beschreibungslogik, wie etwa verschiedene Formalismen, Komplexitätsresultate, Vergessen in der Beschreibungslogik oder die Reparatur von Ontologien.

Description Logics have been established as a theoretical foundation for ontology languages as part of ontology systems, which have broad applications in, e.g., medicine, biology, geographic data, engineering and the chemical industry. In this seminar, each student will focus on a specific aspect of the theory of description logic, such as different formalisms, complexity results, forgetting in description logic or repair of ontologies, etc.