Abstract: A Case for Abductive Reasoning over Ontologies.

Corinna Elsenbroich, Oliver Kutz, and Ulrike Sattler

We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce corresponding abductive reasoning tasks, give examples, and begin to develop the formal apparatus needed to employ abductive inference in expressive description logics.