Author:Halland, K; Britz, K; Klarman, SDate:Jul 2014The formal definition of abduction asks what needs to be
added to a knowledge base to enable an observation to be entailed. TBox
abduction in description logics (DLs) asks what TBox axioms need to
be added to a DL knowledge base to allow ...Read more