Conservative Extensions in Horn Description Logics with Inverse Roles
scientific article; zbMATH DE number 7215193