Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)

Patrick Koopmann. Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). 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]

Abstract

Abstract is missing.