Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca. ASP-based Axiom Pinpointing for Description Logics. In Oliver Kutz, Carsten Lutz, Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.