Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)

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]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Patrick Koopmann

This author has not been identified. Look up 'Patrick Koopmann' in Google

Francesco Kriegel

This author has not been identified. Look up 'Francesco Kriegel' in Google

Adrian Nuradiansyah

This author has not been identified. Look up 'Adrian Nuradiansyah' in Google