Diese Gruppe erforscht, wie Wissen in KI-Systemen formal dargestellt und logisch verarbeitet werden kann. Im Mittelpunkt stehen symbolische Methoden, die Maschinen ermöglichen, über strukturierte Informationen zu schlussfolgern. Zentrale Themen sind formale Sprachen wie Description Logics, OWL und Prädikatenlogik, automatisches Schließen und Inferenzsysteme, Ontologieentwicklung für domänenspezifische Anwendungen (z. B. im Gesundheitswesen oder in der Fertigung), hybride Ansätze wie neuro-symbolische KI sowie Anwendungen in erklärbarer KI und Entscheidungsunterstützung.