A3 – Description Logic Explications

The main goal of the project is to develop novel techniques for the user-adaptive explication of knowledge-based reasoning, and to combine them with the explication generators developed in other projects. Within the first funding period, it will focus on explications for description logic (DL) reasoning since DLs are a very prominent family of knowledge representation formalisms, for which various sophisticated reasoning techniques and implemented reasoning systems are available. The project will build upon existing work on explication of DL and first-order reasoning, but needs to extend it in several directions.

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
Technische Universität Dresden

Researchers

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

Alumni

Principal Investigators

Principal Investigator
Max Planck Institute for Informatics

Publications