Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation

Willi Hieke, Francesco Kriegel, Adrian Nuradiansyah. Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.