Di Stefano, F.; Šimkus, M. Stable Model Semantics for Description Logic Terminologies. AAAI 2024, 38, 10484-10492.