overview of description logics 8576312