Lôgíc mô tả (tiếng Anh: Description logics, viết tắt DL) là một họ các ngôn ngữ biểu diễn tri thức có thể sử dụng để biểu diễn tri thức thuật ngữ của một miền ứng dụng theo một cách có cấu trúc và được hiểu rõ một cách hình thức. Mặt khác, cái tên lôgíc mô tả có ý nói đến các mô tả về khái niệm được dùng để mô tả một miền và ngữ nghĩa dựa lôgic (logic-based semantics) mà có thể thu được từ việc dịch từ lôgic mệnh đề bậc nhất. Lôgic mô tả được thiết kế như là một mở rộng của khung ngữ nghĩa (semantic frame) và lưới ngữ nghĩa (semantic network), hai loại này đã không được trang bị một ngữ nghĩa dựa lôgic hình thức. Lôgic mô tả được đặt cái tên hiện dùng từ năm 1980. Trước đó, nó đã được gọi là các hệ thống thuật ngữ (terminological system), và tiếp đó là các ngôn ngữ khái niệm (concept language). Ngày nay, lôgic mô tả đã trở thành một nền móng của Web Ngữ nghĩa (Semantic Web) do việc sử dụng nó trong thiết kế các bản thể (ontology). Hệ thống dựa lôgic mô tả đầu tiên là KL-ONE (do Brachman và Schmolze xây dựng năm 1985). Một số hệ thống lôgic mô tả khác xuất hiện sau đó là LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) và gần đây là RACER (2001), CEL (2005), và KAON 2 (2005). Ý tưởng cho sự phát triển của Tầng Suy luận Bản thể (Ontology Inference Layer - OIL) đã xuất phát từ lôgic mô tả.