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
Saarland University
Principal Investigator
Max Planck Institute for Informatics

Researchers

Christian Alrabbaa
( , )
Florian Daiber
( , , )
Fajar Haifani
( )
Anke Hirsch
( , , )
Nina Knieriemen
( , )
Patrick Koopmann
( , )
Alisa Kovtunova
( , )
Anna Milena Rothermel
( , , )
Satyadharma Tirtarasa
( )
Frederik Wiehr
( , , )

Publications

View all Publications
Loading Data...