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

Franz Baader; Francesco Kriegel; Patrick Koopmann; Adrian Nuradiansyah

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

Research output: Contribution to conferences › Presentation slides › Contributed

Contributors

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

Details

Original language	English
Publication status	Published - 7 Aug 2022
Peer-reviewed	No

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

Keywords

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

Baader, F., Koopmann, P., Kriegel, F. & Nuradiansyah, A., 7 Aug 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7-10, 2022. CEUR-WS.org, (CEUR Workshop Proceedings).

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

View all research output (1)

Research Portal of the TU Dresden

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

Contributors

Details

Workshop

Keywords

Related content

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