A case for abductive reasoning over ontologies
Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler · Research Explorer (The University of Manchester) · 2006
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.