Interactive Exploration of Visual Models ((14) E01)

• Subject Area: Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing ; Theoretical Computer Science
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

This project aims at developing novel visualisation concepts that facilitate human-centred explanation of formal explications of logic-based approaches. We will conduct visualisation research for formal methods and symbolic AI including the visualisation of a) ontology repair and consequence explications using Description Logics and b) probabilistic model checking. We will work towards our vision of a modular, generalised toolbox of visual model explanations informing future visualisation projects. We will also investigate adaptive visualisations as the core of developing a responsive visualisation framework that allows visual representations to react to various stakeholders, workflows and device contexts, and supporting multiple users in their collaborative work with model visualisations.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professor Dr.-Ing. Franz Baader; Professorin Dr. Christel Baier, since 1/2023; Professor Dr.-Ing. Raimund Dachselt