In our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re happy to announce the following talk:

Friday, July 09, 2:15pm: Patrick Koopmann (Technische Universität Dresden)

Signature-Based Abduction for Description Logics

Description logic ontologies knowledge bases are formalisations of knowledge—usually about terminologies and sometimes used in combination with a set of facts—that allow for implicit information to be inferred using a description logic reasoner. Those knowledge bases can become very complex, and inferences are not always straight-forward, which motivates the research on services to explain inferences and non-inferences performed by a description logic reasoner. This talk will focus on the task of explaining non-inferences, that is, explaining why something could not be inferred by a reasoner. Specifically, I will argue for the use of something called signature-based abduction for this task. In the talk, I will explain what signature-based abduction is and what it can be used for, and then present some recent results on it.