FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: