Finite Characterizations of ℰℒ Ontologies and Concept Inclusions

Maurice Funk, Simon Hosemann, Carsten Lutz. Finite Characterizations of ℰℒ Ontologies and Concept Inclusions. In Alisa Kovtunova, Baris Sertkaya, editors, Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 17-19, 2026. Volume 4230 of CEUR Workshop Proceedings, CEUR-WS.org, 2026. [doi]

Abstract

Abstract is missing.