ABox Abduction Solver Exploiting Multiple DL Reasoners. - Drahomír Mrózek; Júlia Pukancová; Martin Homola (Description Logics, 2018)