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: |