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

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

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

Research output: Contribution to conferences › Presentation slides › Contributed

Contributors

Franz Baader - , Chair of Automata Theory (Author)
Patrick Koopmann - , Chair of Automata Theory (Author)
Francesco Kriegel - , Chair of Automata Theory (Author)
Adrian Nuradiansyah - , Chair of Automata Theory (Author)

Details

Original language	English
Publication status	Published - 3 Nov 2021
Peer-reviewed	No

Conference

Title	18th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated title	KR 2021
Conference number	18
Duration	3 - 12 November 2021
Website	https://kr2021.kbsg.rwth-aachen.de/
Degree of recognition	International event
Location	online
City	Hanoi
Country	Viet Nam

Keywords

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021, Recent Published Research (RPR) track of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual Event, November 3-12, 2021.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 3 Nov 2021.

Research output: Contribution to conferences › Poster › Contributed