Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)

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

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
Title of host publication	Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7-10, 2022
Publisher	CEUR-WS.org
Publication status	Published - 7 Aug 2022
Peer-reviewed	Yes

Publication series

Series	CEUR Workshop Proceedings

Workshop

Title	International Workshop on Description Logics 2022
Abbreviated title	DL 2022
Conference number	35
Duration	7 - 10 August 2022
Degree of recognition	International event
Location	Technion
City	Haifa
Country	Israel

External IDs

ORCID	/0000-0002-4049-221X/work/142247931
ORCID	/0000-0002-9047-7624/work/142251255
ORCID	/0000-0003-0219-0330/work/153109414

Keywords

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)

Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 7 Aug 2022.

Research output: Contribution to conferences › Presentation slides › Contributed

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 May 2022, Proceedings of the 19th Extended Semantic Web Conference (ESWC 2022), Hersonissos, Greece, May 29 - June 2, 2022. Groth, P., Vidal, M-E., Suchanek, F., Szekley, P., Kapanipathi, P., Pesquita, C., Skaf-Molli, H. & Tamper, M. (eds.). Springer, Berlin [u. a.], p. 130-146 17 p. (Lecture Notes in Computer Science, Volume 13261).

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

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 29 May 2022.

Research output: Contribution to conferences › Paper › Contributed › peer-review

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Slides)