Using model theory to find decidable and tractable description logics with concrete domains
scientific article; zbMATH DE number 7606343
scientific article