Description Logic Explications ((09) A03)

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

Knowledge representation based on Description Logics provides means to describe the current state of a cyber-physical system and its environment, as well as background information about constraints these states are guaranteed to satisfy. To explain the behaviour of the system, one also needs to explicate why a certain relevant statement does or does not follow from the knowledge base. Project A3 will broaden the scope of these explication approaches by considering combinations of abstract logical and concrete numerical and temporal constraints. This comes with the challenge to combine different explication approaches, to use explications of incorrect or missing consequences for the purpose of repairing the knowledge base, and to develop user-adaptive explications.

• 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; Dr.-Ing. Stefan Borgwardt; Professor Dr. Markus Krötzsch, since 1/2023; Professor Dr. Antonio Krüger; Professor Dr. Christoph Weidenbach, until 12/2022