Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
Authors: Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah
Paper Information
| Title: | Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) |
| Authors: | Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | Ontology repair, Description Logic EL, ABox approximation, Most specific concept, Complexity |
| Pages: | 1 |
| Talk: | Aug 09 09:25 (Session 100C: Modularity and Forgetting (1)) |
| Paper: |  |