Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Report
%1 BaKoKrNu-LTCS-22-01
%A Baader, Franz
%A Koopmann, Patrick
%A Kriegel, Francesco
%A Nuradiansyah, Adrian
%C Dresden, Germany
%D 2022
%K topic_knowledge area_methods
%N 22-01
%R https://doi.org/10.25368/2022.65
%T Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)
@techreport{BaKoKrNu-LTCS-22-01,
added-at = {2024-11-19T13:46:00.000+0100},
address = {Dresden, Germany},
author = {{Baader}, Franz and {Koopmann}, Patrick and {Kriegel}, Francesco and {Nuradiansyah}, Adrian},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/26780523ff6696008a8db54b1179f4fad/scadsfct},
doi = {https://doi.org/10.25368/2022.65},
institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
interhash = {f444d4d5078bca5c30baef0456f41041},
intrahash = {6780523ff6696008a8db54b1179f4fad},
keywords = {topic_knowledge area_methods},
number = {22-01},
timestamp = {2024-11-22T15:46:42.000+0100},
title = {Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)},
type = {LTCS-Report},
year = 2022
}
