Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah. Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
@inproceedings{BaaderKKN22-0, title = {Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)}, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah}, year = {2022}, url = {http://ceur-ws.org/Vol-3263/abstract-2.pdf}, researchr = {https://researchr.org/publication/BaaderKKN22-0}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier}, volume = {3263}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }