A3 – Description Logic Explications

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.

Principal Investigators

Principal Investigator
Technische Universität Dresden
Principal Investigator
Technische Universität Dresden
Principal Investigator
Technische Universität Dresden
Principal Investigator
Saarland University

Members

Member
Vrije Universiteit Amsterdam

Researchers

Christian Alrabbaa
( , )
Florian Daiber
( , , )
Anke Hirsch
( , , )
Alex Ivliev
( , )
Nina Knieriemen
( , )
Alisa Kovtunova
( , )
Stephan Mennicke
( )
Frederik Wiehr
( , , )

Past Contributors

Principal Investigators

Principal Investigator
Max Planck Institute for Informatics

Researchers

Maximilian Marx
( )

Publications