Abduction in EL via Translation to FOL.

Fajar Haifani, Patrick Koopmann, Sophie Tourret

Browse the full KR paper archive.