%0 Report %1 BaKoKrNu-LTCS-22-01 %A Baader, Franz %A Koopmann, Patrick %A Kriegel, Francesco %A Nuradiansyah, Adrian %C Dresden, Germany %D 2022 %K area_methods topic_knowledge %N 22-01 %R https://doi.org/10.25368/2022.65 %T Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)

@techreport{BaKoKrNu-LTCS-22-01, added-at = {2024-11-19T13:46:00.000+0100}, address = {Dresden, Germany}, author = {{Baader}, Franz and {Koopmann}, Patrick and {Kriegel}, Francesco and {Nuradiansyah}, Adrian}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/26780523ff6696008a8db54b1179f4fad/scadsfct}, doi = {https://doi.org/10.25368/2022.65}, institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden}, interhash = {f444d4d5078bca5c30baef0456f41041}, intrahash = {6780523ff6696008a8db54b1179f4fad}, keywords = {area_methods topic_knowledge}, number = {22-01}, timestamp = {2024-11-19T14:34:43.000+0100}, title = {Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)}, type = {LTCS-Report}, year = 2022 }