Published November 3, 2021 | Version v1
Conference paper Open

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Extended Abstract)

  • 1. Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany

Description

This is an extended abstract of the following conference article and its accompanying technical report:

Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah: Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes. In: Proceedings of the 28th International Conference on Automated Deduction, CADE-28, July 11–16, 2021, Virtual Event, United States. Ed. by André Platzer and Geoff Sutcliffe. Volume 12699 of Lecture Notes in Computer Science, pp. 309–326, Springer, 2021. DOI: 10.1007/978-3-030-79876-5_18

Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah: Computing Optimal Repairs of Quantified ABoxes w.r.t. Static 𝓔𝓛 TBoxes (Extended Version). LTCS-Report 21-01, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, 2021. DOI: 10.25368/2022.64

Files

BaKoKrNu-KR2021.pdf

Files (86.8 kB)

Name Size Download all
md5:d937ed0ffb0979f99b530c0e3d221746
86.8 kB Preview Download

Additional details

Related works

Describes
Conference paper: 10.1007/978-3-030-79876-5_18 (DOI)
Technical note: 10.25368/2022.64 (DOI)