Volume: Vol-4091 DL 2025 | Year: 2025

Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?