Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

Franz Baader, Jakub Rydval. Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. Journal of Automated Reasoning, 66(3):357-407, 2022. [doi]

Abstract

Abstract is missing.