Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation (Slides)

Willi Hieke; Francesco Kriegel; Adrian Nuradiansyah

Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation (Slides)

Research output: Contribution to conferences › Presentation slides › Contributed

Contributors

Willi Hieke - , 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 - 19 Sept 2021
Peer-reviewed	No

Workshop

Title	International Workshop on Description Logics 2021
Abbreviated title	DL 2021
Conference number	34
Duration	19 - 22 September 2021
Degree of recognition	International event
Location	Comenius University
City	Bratislava
Country	Slovakia

Keywords

Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation

Hieke, W., Kriegel, F. & Nuradiansyah, A., 19 Sept 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021), Hybrid Event, Bratislava, Slovakia, September 19-22, 2021. Homola, M., Ryzhikov, V. & Schmidt, R. A. (eds.). CEUR-WS.org, Vol. 2954. (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

Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation (Slides)

Contributors

Details

Workshop

Keywords

Related content

Repairing 𝓔𝓛 TBoxes by Means of Countermodels Obtained by Model Transformation