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]

@inproceedings{BaaderKKN22-0,
  title = {Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)},
  author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah},
  year = {2022},
  url = {http://ceur-ws.org/Vol-3263/abstract-2.pdf},
  researchr = {https://researchr.org/publication/BaaderKKN22-0},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier},
  volume = {3263},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}