Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, CEUR-WS.org, (2022)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%T Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
@inproceedings{BaKoKrNu-DL2022,
added-at = {2024-09-10T11:56:37.000+0200},
author = {{Baader}, Franz and {Koopmann}, Patrick and {Kriegel}, Francesco and {Nuradiansyah}, Adrian},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/262c8c531cb793116fa4d0fef66315159/scadsfct},
booktitle = {Proceedings of the 35th International Workshop on Description Logics ({DL} 2022), Haifa, Israel, August 7--10, 2022},
interhash = {77d4bed79bf41c476afb5c2ab18540c2},
intrahash = {62c8c531cb793116fa4d0fef66315159},
keywords = {},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {Optimal {ABox} Repair w.r.t. Static $\mathcal{EL}$ {TBoxes:} from Quantified {ABoxes} back to {ABoxes} (Extended Abstract)},
year = 2022
}
