Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)
%0 Conference Paper
%1 BaKoKrNu-DL2022
%A Baader, Franz
%A Koopmann, Patrick
%A Kriegel, Francesco
%A Nuradiansyah, Adrian
%B Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022
%D 2022
%I CEUR-WS.org
%K area_methods topic_knowledge
%T Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
%V 3263
@inproceedings{BaKoKrNu-DL2022,
added-at = {2024-11-19T13:46:42.000+0100},
author = {{Baader}, Franz and {Koopmann}, Patrick and {Kriegel}, Francesco and {Nuradiansyah}, Adrian},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/27938171aef17ed61a487c489e9c3f021/scadsfct},
booktitle = {Proceedings of the 35th International Workshop on Description Logics ({DL} 2022), Haifa, Israel, August 7--10, 2022},
interhash = {4b99250b64bdc29a4dc64234f568f9e1},
intrahash = {7938171aef17ed61a487c489e9c3f021},
keywords = {area_methods topic_knowledge},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
timestamp = {2024-11-19T14:34:20.000+0100},
title = {Optimal {ABox} Repair w.r.t. Static ℰℒ {TBoxes:} from Quantified {ABoxes} back to {ABoxes} (Extended Abstract)},
volume = 3263,
year = 2022
}
