Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides)

Franz Baader; Francesco Kriegel

Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Slides)

Research output: Contribution to conferences › Presentation slides › Contributed

Contributors

Franz Baader - , Chair of Automata Theory (Author)
Francesco Kriegel - , Chair of Automata Theory (Author)

Details

Original language	English
Publication status	Published - 31 Jul 2022
Peer-reviewed	No

Conference

Title	19th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated title	KR 2022
Conference number	19
Duration	31 July - 5 August 2022
Website	https://kr2022.cs.tu-dortmund.de
Degree of recognition	International event
Location	Technion
City	Haifa
Country	Israel

External IDs

ORCID	/0000-0002-4049-221X/work/187992853
ORCID	/0000-0003-0219-0330/work/187997009

Keywords

Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs

Baader, F. & Kriegel, F., 31 Jul 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31 - August 5, 2022. p. 22-32 11 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version)

Baader, F. & Kriegel, F., 31 Jul 2022.

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

View all research output (2)

Research Portal of the TU Dresden