Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster)

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

Skip to content Skip to footer

Research Portal of the TU Dresden

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes (Poster)

Research output: Contribution to conferences › Poster › 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

External IDs

ORCID	/0000-0002-4049-221X/work/142247882
ORCID	/0000-0002-9047-7624/work/142251252
ORCID	/0000-0003-0219-0330/work/153109411

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 (Slides)

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

Research output: Contribution to conferences › Presentation slides › Contributed