This document provides an introduction to a lecture on description logic. It begins with an overview of description logic, including its basic constructs of concepts and relationships. It then discusses the ALC description logic, including its syntax, semantics and examples. Finally, it outlines the reading material and topics that will be covered in the lecture, such as reasoning services in description logic.