Description logics with concrete domains and general concept inclusions revisited
scientific article; zbMATH DE number 7614526
scientific article