Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Authors: Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová
Paper Information
| Title: | Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results |
| Authors: | Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | ABox abduction, description logics, ontologies |
| Pages: | 1 |
| Talk: | Aug 08 12:15 (Session 96C: Joint NMR/DL Session (4)) |
| Paper: |  |