For reading a book, Please sign in to your account.
loginThis introduction presents the main motivations for the development of DescriptionLogics (DL) as a formalism for representing knowledge, as well as some importantbasic notions underlying all systems that have been created in the DL tradition.In addition, we provide the reader with an overview of the entire book and someguidelines for reading it.