First steps towards taming description logics with strings
scientific article; zbMATH DE number 7855130
scientific article