Connection-minimal Abduction in EL via translation to FOL (Extended Abstract)
Authors: Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach
Paper Information
| Title: | Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) |
| Authors: | Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | abduction, description logic EL, minimality criterion, first-order logic, prime implicates |
| Pages: | 1 |
| Talk: | Aug 08 10:00 (Session 94C: Joint NMR/DL Session (3)) |
| Paper: |  |