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

Zekeri Adams, Martin Homola, Ján Kluka. Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?. In Lidia Tendera, Yazmín Ibáñez García, Patrick Koopmann, editors, Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. Volume 4091 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]

Abstract

Abstract is missing.