Optimal ABox Repair w.r.t. Static $EL$ 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, CEUR-WS.org, (2022)
Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022
Jahr
2022
Verlag
CEUR-WS.org
Reihe
CEUR Workshop Proceedings
Tags
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}